AI数学突破还是PPT成果？722份手稿背后的真相
00:38
精选参考来源
精选参考来源
1. OpenAI一次甩出722篇数学论文，数学家全慌了|手稿|数学界|模型|黎曼|霍奇_新浪新闻
新浪财经 2026-10-07 00:00:00
2. OpenAI's 722 Math Proofs: What Its Secret Model Actually Found | MindStudio
MindStudio 2026-10-07 00:00:00
3. Meta（就是脸书那家美国公司，现在主要在做 AI）公布了六篇数学论文。这些论文是它家的聊天助手和几位数学家一起写的，其中五篇答的是此前一直没人解开的公开问题。 值得看的其实是它们的做法。每篇论文都标清楚了，哪些段落主要是数学家写的，哪些主要是那个模型写的；写完还另找一组数学家审一遍；用到的前人研究，逐条致谢。 它的模型叫 Muse Spark，就是一个通用的聊天 AI。这次它干的活，是写一段程序去找反例、做计算、把证明草稿写出来。出题和思路都是数学家给的，草稿和结论也被他们一条条校对过。有几篇，别的团队在差不多的时候也独立做出来了，Meta 把这些一并写进了论文。 这套做法里最值得抄的一条，是按段落标清楚谁写的。你在公司里用 AI 写方案、写稿、写代码，也可以照这个来：哪一段是它起的草、哪一段是你自己下的判断，都写明白，再找个人过一遍，别人拿到手才知道该信哪一段。
今日头条 2026-10-04 00:00:00
4. 数学大爆炸，OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
今日头条 2026-10-07 00:00:00
5. 菲尔兹奖得主陶哲轩:数学 AI 的瓶颈在证明之后
新浪财经 2026-10-01 00:00:00
6. OpenAI一口气开源722篇论文，数学界吵翻了|伦理|数学家|openai|菲尔兹奖得主_网易订阅
网易 2026-10-07 00:00:00
7. OpenAI公布722份数学手稿!攻破372个难题，含千禧年难题新突破_模型_人类_输出
搜狐 2026-10-07 00:00:00
8. AI破解世纪难题？数学家先判卷 AI说它证明了世纪难题？数学家不干了：OpenAI请来九位外部判卷人，成立AGMAI，挂靠普林斯顿高等研究院。为何翻车？被指抢发数学家的工作、不给署名、甚至被指偷用户成果。这盘棋更大：一周前OpenAI刚发布第三方评估的优先领域与原则，训练、评估、部署全给深访问，数学组就是信号之一。菲尔兹奖得主Hairer坦言：近月的发布远低于可接受标准；他警告天真才会相信实验室不会把判卷人的话拧进PR机器。学界也不买账：九人怎么选的至今是谜，了不起的数学家未必代表同行利益。普通人记住三问：谁评的？怎么发的？同行认吗？治理进入操作层是进步，但是不是公关，标准只有一个：下一批成果怎么发。记住：「已解决」和「已验证」之间，隔着一整个数学界。 #AI #数学 #菲尔兹奖 #OpenAI #人工智能
抖音 2026-10-05 00:00:00
9. 丘成桐最新论文致谢AI：人工智能已进顶尖数学研究
微信公众号 2026-10-02 00:00:00
10. AI攻克顶尖数学难题！Meta新模型登场，迎来数学界AlphaGo时刻
今日头条 2026-10-04 00:00:00
11. 88小时挑战百年数学难题！OpenAI砸2000万算力，学术界吵翻了
今日头条 2026-10-01 00:00:00
12. AI 88小时解出人类90年难题！可这功劳算谁的？没人敢签字！
今日头条 2026-10-01 00:00:00
13. First look at mathematics manuscripts from an internal frontier model at OpenAI - Community - OpenAI Developer Community
OpenAI Developer Community 2026-10-06 00:00:00
14. OpenAI’s 722 Math Manuscripts: The Results, Proofs, Compute and Costs
Kingy AI 2026-10-06 00:00:00
15. AI Just Published 722 Math Proofs. Who Checks Them? | MindStudio
MindStudio 2026-10-07 00:00:00
16. OpenAI publishes 722 math manuscripts from an unreleased internal frontier model on GitHub, claiming results on the quasi-Riemann hypothesis, the Hodge conjecture for CM abelian varieties and more — AICoder
2026-10-07 00:00:00
17. Mathematics Big Bang: OpenAI Cracked 722 Mathematical Problems Overnight, the Quasi-Riemann Hypothesis Has Been Proven
36氪 2026-10-07 00:00:00
18. 解放军报——高小山:AI风暴席卷数学界，人类如何主导----中国科学院数学与系统科学研究院
中国科学院数学与系统科学研究院 2026-09-11 00:00:00
19. 数学大爆炸!OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明_凤凰网
凤凰网 2026-10-07 00:00:00
20. AI一口气交6篇数学论文，5道悬案全解了
今日头条 2026-10-05 00:00:00
21. AI攻克顶尖数学难题！Meta新模型登场，迎来数学界AlphaGo时刻
今日头条 2026-10-04 00:00:00
22. AI解开100多道数学难题，OpenAI转头请数学家来把关
今日头条 2026-10-03 00:00:00
23. Meta 让 AI 和数学家合写 6 篇论文，能抄的是流程
今日头条 2026-10-04 00:00:00
24. First look at mathematics manuscripts from an internal frontier model at OpenAI - Community - OpenAI Developer Community
OpenAI Developer Community 2026-10-06 00:00:00
已收藏
去我的收藏夹