1
2
菲尔兹奖得主马丁 · 海尔：AI 数学推演已达博士水平，中国基础科学投入令人印象深刻
菲尔兹奖得主盛赞AI数学已达博士水平，并惊叹中国基础科学投入，值得一读
IT之家 8 月 15 日消息，2026 国际基础科学大会于 8 月 9 日在北京开幕。菲尔兹奖获得者、中国科学院外籍院士马丁 · 海尔出席开幕式并担任颁奖嘉宾。 他在接受央视《高端访谈》专访时表示，大会覆盖面极广，涵盖纯数学、应用数学、理论物理乃至工程学领域。 谈及人工智能对数学研究的影响，马丁 …
3
中国医生用 GPT-5.6 破解 22 年数学难题，Crouzeix 本人确认正确
GPT-5.6 霸气出手，中国医生16小时破解22年世界级数学难题，AI推理能力再破纪录！
IT之家 8 月 14 日消息，2025 年，一连串的协和 4+4 博士引发关注和热议，其中就包括金山木事件。时隔一年之后，金山木这个名字再次引发热议。 据《南华早报》今日报道，北京协和医院神经外科博士后、住院医师金山木利用 OpenAI 的 GPT-5.6-Sol 模型，只用了约 16 小时就成功…
4
An Infamous Math Problem Closer to Being Solved by Encouraging AI
顶尖AI模型冲击黎曼猜想，数学难题离破解更近一步，看科技如何改写数学未来。
Article URL: https://www.wsj.com/tech/ai/ai-math-riemann-hypothesis-anthropic-openai-22f98a87 Comments URL: https://news.ycombinator.com/item?id=49306…
5
Examples for use of AI and especially LLMs in major mathematical developments
盘点大模型参与重大数学突破的真实案例，看AI如何助力数学研究前沿。
Article URL: https://mathoverflow.net/questions/502120/examples-for-the-use-of-ai-and-especially-llms-in-major-mathematical-development Comments URL: …
6
7
Claude Fable 5 AI finds a formula that topples an 87-year-old math conjecture
AI模型破解87年数学难题，小小公式推翻三维猜想，见证智能数学新突破
Article URL: https://www.sciencedaily.com/releases/2026/08/260804034634.htm Comments URL: https://news.ycombinator.com/item?id=49207486 Points: 1 # Co…
8
LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis
AI不再只解数学题，开始向黎曼猜想级难题发起进攻，这项框架研究或开启自动发现猜想时代
arXiv:2607.28632v1 Announce Type: new Abstract: Major mathematical conjectures still depend heavily on expert intuition, so a unified method for the s…
9
The Maxwell conjecture is false. Counterexample found by AI (GPT-5.6 Sol)
GPT-5.6 给出 Maxwell 猜想反例，AI 在数学推理领域的又一重要突破，值得深入了解
Article URL: https://xcancel.com/antibot/captcha Comments URL: https://news.ycombinator.com/item?id=49121313 Points: 2 # Comments: 2
10
Terence Tao: Mathematics in the Age of AI [pdf]
陶哲轩巅峰视角：AI如何重塑数学研究的未来与方法，顶级数学家前沿思考
Article URL: https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf Comments URL: https://news.ycombinator.com/item?id=49056620 Points: 1 # Co…
11
Claude used my pipeline to find a counterexample to the Jacobian conjecture
用开源pipeline，Claude成功找到雅可比猜想反例，AI数学研究新里程碑。
About a month ago, I released under CC0 an implementation of a pipeline I had spent two years developing. It’s the pipeline Claude used to find the co…
12
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
60位作者联合发布，首个评估AI在研究级数学证明生成能力的基准测试，挑战大模型推理极限。
arXiv:2509.26076v2 Announce Type: replace Abstract: As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly …
13
AI and Math State of the Art
从奥数金牌到 Erdős 难题，一页看清 AI 在数学研究的最新水位，数学爱好者别错过。
Article URL: https://stunning-naiad-817d91.netlify.app Comments URL: https://news.ycombinator.com/item?id=48644756 Points: 2 # Comments: 1
14
Experience using AI software to prove Euler sum results [pdf]
上传PDF即可用AI对话提问，快速提取论文要点和数学证明细节，无需手动阅读全文
Article URL: https://www.davidhbailey.com/dhbpapers/Chatbots.pdf Comments URL: https://news.ycombinator.com/item?id=48449567 Points: 1 # Comments: 0
15
16
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
结合Lean与理论计算机科学，可规模生成形式-非形式配对的定理证明挑战，助力AI数学推理研究。
arXiv:2508.15878v2 Announce Type: replace-cross Abstract: Formal theorem proving (FTP) has emerged as a critical foundation for evaluating the reasoni…