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…
AI宣称攻破数学猜想，人类数学家24小时逐行审查，揭示37000行代码中的致命漏洞。
第二天，就有一篇人类论文回应：AI提出的反例不成立
AI不再只解数学题，开始向黎曼猜想级难题发起进攻，这项框架研究或开启自动发现猜想时代
arXiv:2607.28632v1 Announce Type: new Abstract: Major mathematical conjectures still depend heavily on expert intuition, so a unified method for the s…
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
OpenAI新模型GPT-5.6 Sol Ultra一小时破解五十年数学难题，多智能体并行协作惊艳学界
IT之家 7 月 12 日消息，OpenAI 于 7 月 10 日宣布，旗下 GPT-5.6 Sol Ultra 模型在不到 1 小时内，成功生成了“循环双覆盖猜想”（Cycle Double Cover Conjecture）的完整证明。这一猜想是图论领域悬而未决长达 50 多年的重要难题。 Op…
GPT-5.6一小时攻破50年数学难题，64个子Agent协同的700词Prompt引发AI推理新突破
神话级大模型驾驭宝典
AI模型破解80年未解的离散几何猜想，数学难题再被AI攻克
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven …
OpenAI模型推翻离散几何核心猜想，AI在科学发现中展现惊人潜力
OpenAI Model Disproves Central Conjecture in Discrete Geometry Meta Description: An OpenAI model has disproved a central conjecture in discrete geomet…
AI模型推翻数学猜想，证明离散几何核心猜想错误，引发学界热议。
https://x.com/wtgowers/status/2057175727271800912 , https://xcancel.com/wtgowers/status/2057175727271800912 Comments URL: https://news.ycombinator.com…