The Verge · AI· Robert Hart·· 1 天前精选AI 评分84
OpenAI 发布近 400 项 AI 数学成果，数学家称理解可能需要数年
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
AI 导读
OpenAI 发布了近 400 项 AI 生成的数学成果，分布在 719 篇手稿中，覆盖多个数学领域；数学家认为，理解和评估这批材料可能需要数年。OpenAI 表示，其中 300 项顶层结果已形式化，约占 42%；截至 10 月 8 日，仓库记录了十余篇手稿的修订，并因符号错误移除了 3 篇论文。
推荐理由
这次发布的规模与验证进度之间存在落差，数学家还需逐篇核查形式化证明、论文质量和引用，才能判断成果及其影响。
来源：The Verge · AI · theverge.com