跳到正文
原文
The Verge · AI· Robert Hart·· 2 小时前AI 评分25

AI 接管数学引发的种种风波

All the drama around AI’s takeover of mathematics

AI 导读

过去一年,OpenAI、Anthropic 等 AI 实验室宣布解决多个长期数学难题,其中包括解决一项 Millennium Prize 问题。相关成果引发反弹,数学家要求提供证明,并厘清 OpenAI 是否使用了他们的工作。AI 实验室称正从早期失误中吸取教训,但承诺能否兑现仍有待观察。

来源:The Verge · AI · theverge.com