The Verge · AI· Robert Hart·· 1 天前
OpenAI发布近400个AI生成数学结果覆盖700余手稿，数学家预计需数年理解
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
SI 导读
OpenAI本周发布近400个AI生成数学结果，覆盖700多份手稿，涵盖组合学、几何、数论等多个领域。仅719份中300份（约42%）获Lean形式化验证，数学家预计需数年理解全部内容。该批量发布冲击学者研究计划，并延续OpenAI此前数学写作归因不足的争议。
精选SI 评分93
来源：The Verge · AI · theverge.com