The Verge · AI· Robert Hart·· 6 小时前AI 评分36
AI 接管数学引发争议：OpenAI、Anthropic 的数学突破与学界反弹
All the drama around AI’s takeover of mathematics
AI 导读
OpenAI、Anthropic 等实验室过去一年宣布解决多项长期数学难题，其中包括一项千禧年大奖难题，但这些突破也引发数学界反弹。争议涉及研究成果是否使用了数学家的工作、证明是否充分，以及 AI 实验室如何避免重蹈覆辙。
来源：The Verge · AI · theverge.com