The Verge · AI· Robert Hart·· 10 小时前AI 评分36
OpenAI、Anthropic 等 AI 实验室“接管”数学界引发的争议
All the drama around AI’s takeover of mathematics
AI 导读
过去一年，OpenAI、Anthropic 等实验室宣布攻克多项长期数学难题，甚至包括一个著名的千禧年大奖难题。相关成果因证明方式及是否使用数学家工作等问题引发学界反弹；AI 实验室称正吸取教训，但承诺能否兑现仍待观察。
来源：The Verge · AI · theverge.com