跳到正文
The Verge · AI· Robert Hart·· 3 小时前AI 评分69

OpenAI发布大量AI数学成果,数学家称理解需数年

‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop

AI 导读

OpenAI本周突然发布近400个AI生成的数学结果,覆盖700多篇手稿,涉及组合数学、几何、数论、代数、拓扑等多个领域。受访数学家表示理解这些成果可能需要数年,约42%的结果已通过Lean形式化验证。部分数学家认为其中包含达到菲尔兹奖水平的高质量工作,但也有人对论文质量和引用规范性表示担忧,担心此举会冲击学术研究体系。

来源:The Verge · AI · theverge.com