Chinese content数学家质疑 OpenAI 的 Navier-Stokes 证明方法论
OpenAI 交了 166 页的 Navier-Stokes 证明，结果数学家说他们自己都讲不清方法是怎么来的，挺离谱的。
#AI数学
8 stories · 0 in 7 days · 3 in 30 days
Stories, products and papers tagged "AI数学", newest first.
Oct 17
Oct 13
Chinese content西方数学家警惕AI证明，丘成桐牵头千余科学家推进AI数学研究
同一个AI证明问题，25位菲尔兹奖得主想抵制，丘成桐却拉了8家机构1000多号人要把它用起来，两边路线分歧挺有意思。
Oct 4
Chinese contentChristian Szegedy：AI 已能猜想与理论化，怀疑论者描述的是去年春天的模型
Szegedy 回应 Tao 和 Gowers 的文章，说 AI 数月内就能猜想和理论化，他还写了篇长文讲自己的判断，可以看看他怎么论证的。
Sep 2
Aug 17
Aug 15
Industry22:42
Chinese content菲尔兹奖得主马丁·海尔：AI数学推演已达博士水平，中国基础科学投入印象深刻菲尔兹奖得主马丁·海尔说AI数学已经到博士水平，但他觉得全面超越人类还早。还聊了中国数学这几年的飞跃，挺有意思。
IT之家Source
Aug 4
Jul 29