1
OpenAI 发布又一批 AI 数学研究成果，攻破数百个悬而未决难题
IT之家 10 月 7 日消息，OpenAI 在一批包含 722 份手稿、涵盖 372 个结果家族的文件中，公布了某款未发布的前沿模型解决的多项长期存在的数学难题。 IT之家注意到，这一举措延续了其一系列突破性成果，这些成果既给数学界部分人士留下了深刻印象，也引发了不安，同时还带来了关于研究伦理和学…
2
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: …
3
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…
4
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…
5
MechMath Agent Team: LLM Driven Agents for Mathematical Research
LLM代理团队协作攻克数学难题，多智能体系统在科研领域的新突破。
arXiv:2607.04394v1 Announce Type: new Abstract: AI reasoning has become a central focus in contemporary artificial intelligence, largely driven by the…
6
AI and Mathematics Research – Yikes (N.J. Wildberger)
数学家Wildberger犀利谈AI与数学研究的碰撞，视角独特值得围观。
Article URL: https://www.youtube.com/watch?v=-QlC4C6mPIw Comments URL: https://news.ycombinator.com/item?id=48729719 Points: 1 # Comments: 0
7
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
8
16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任
请提供具体的在线工具名称或链接，当前内容为新闻文章，无法生成推荐语。请确认后再输入。
IT之家 6 月 4 日消息，由来自全球 15 所大学的 16 名数学家联合撰写《莱顿宣言》（Leiden Declaration）， 警示 AI 正挑战数学的可靠性、署名、公平性与研究自主。 《宣言》源自 2025 年 9 月莱顿大学洛伦兹中心的“Mechanization and Mathema…
9
AI cracks 80-year-old mathematics challenge — researchers are astonished
OpenAI数学家借助AI破解80年未解几何难题，震惊学界
Nature, Published online: 22 May 2026; doi:10.1038/d41586-026-01651-0 The late Hungarian mathematician Paul Erdős thought he had the last word on a ge…