名可名 (@sunWitch) 在 【AI数学】OpenAI 一夜攻克722个数学难题 中发帖
这是要和数学界直接爆了吗,一下子发这么多
直接放出了: GitHub - openai/math · GitHub
里面是722 篇数学手稿,涵盖了 372 个此前悬而未决的顶级数学难题家族。
甚至说证明了准黎曼猜想,有没有懂得佬友讲讲这是什么级别的