1
2
中国医生用 GPT-5.6 破解 22 年数学难题，Crouzeix 本人确认正确
GPT-5.6 霸气出手，中国医生16小时破解22年世界级数学难题，AI推理能力再破纪录！
IT之家 8 月 14 日消息，2025 年，一连串的协和 4+4 博士引发关注和热议，其中就包括金山木事件。时隔一年之后，金山木这个名字再次引发热议。 据《南华早报》今日报道，北京协和医院神经外科博士后、住院医师金山木利用 OpenAI 的 GPT-5.6-Sol 模型，只用了约 16 小时就成功…
3
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…
4
5
未公开的新模型“立功”，Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破
IT之家 8 月 11 日消息，Anthropic 今天（11 日）宣布，尚未公开的研究版 Claude 在攻克黎曼猜想的过程中取得重要进展。 在一次持续数天、由模型自主完成的测试中，Claude 把黎曼 ζ 函数临界线上零点比例的长期下界 从 41.6% 提高到了 67.2% 。 Claude 在…
6
验证达尔文 150 年前科学猜想，青藏高原发现虎耳草目首个食虫植物
IT之家 8 月 9 日消息，据中国科学院昆明植物研究所，该所孙航院士团队联合国内外科研人员，首次证实青藏高原东南缘横断山区生长的灯架虎耳草具备完整食虫功能。 这是全球虎耳草目首个被确认的食虫植物 ，验证了达尔文 150 年前的科学猜想。国际期刊《自然 · 通讯》发表了这一成果。 ▲ 验证灯架虎耳草…
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
数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”
AI宣称攻破数学猜想，人类数学家24小时逐行审查，揭示37000行代码中的致命漏洞。
第二天，就有一篇人类论文回应：AI提出的反例不成立
9
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…
10
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
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
13
Autonomous disproofs of the sum-product conjecture over $\mathbb R$ with GPT-5.5 Pro
OpenAI用GPT-5.5 Pro自动反驳数学猜想，AI在数论领域再次突破。
arXiv:2607.20525v1 Announce Type: new Abstract: OpenAI's recent disproof of the Erd\H{o}s unit distance conjecture marked a milestone for AI in mathem…
14
Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
数学大师陶哲轩与ChatGPT深度探讨雅可比猜想反例，AI在严谨数学推理中展现潜力与局限的生动案例。
Article URL: https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56 Comments URL: https://news.ycombinator.com/item?id=49010345 Points: 495 # …
15
仅用一小时，OpenAI GPT-5.6 Sol Ultra 证明了一个已有 50 年历史的数学猜想
OpenAI新模型GPT-5.6 Sol Ultra一小时破解五十年数学难题，多智能体并行协作惊艳学界
IT之家 7 月 12 日消息，OpenAI 于 7 月 10 日宣布，旗下 GPT-5.6 Sol Ultra 模型在不到 1 小时内，成功生成了“循环双覆盖猜想”（Cycle Double Cover Conjecture）的完整证明。这一猜想是图论领域悬而未决长达 50 多年的重要难题。 Op…
16
GPT-5.6一小时解开50年数学猜想，700词Prompt驾驭64个子Agent
GPT-5.6一小时攻破50年数学难题，64个子Agent协同的700词Prompt引发AI推理新突破
神话级大模型驾驭宝典
17
A Machine-Verified Proof of a Quantum-Optimization Conjecture
机器验证攻克量子优化十年悬案：QAOA在环上近似比精确等于(2p+1)/(2p+2)，形式化证明无懈可击。
arXiv:2606.29687v1 Announce Type: cross Abstract: We report a machine-verified resolution of a problem open for over a decade in quantum optimization:…
18
Ask HN: How likely is it that SpaceX buys OpenAI?
SpaceX收购OpenAI？一个脑洞大开的猜想，引发对科技巨头整合的讨论。
Given their inflated value, they could easily float this idea and the stock is gonna go bonkers!! It might turn out a good exit for OpenAI too. Commen…
19
OpenAI's math breakthrough played to AI's strengths
AI模型破解困扰人类80年的数学难题，展现AI在数学推理上的独特优势
Article URL: https://www.understandingai.org/p/openais-milestone-math-breakthrough Comments URL: https://news.ycombinator.com/item?id=48370333 Points:…
20
An OpenAI model solved a famous math problem that stumped humans for 80 years
OpenAI内部AI模型成功破解困扰人类80年的Erdős单位距离猜想，数学史上罕见AI击败人类顶尖智慧。
I tried to explain OpenAI’s solution more clearly than OpenAI did.