OpenAI内部模型推翻80年几何难题，还解决10大开放数学问题，AI推理能力迎来新突破。
OpenAI has publicly reported that an internal general-purpose reasoning model autonomously disproved the Erdős unit distance problem , an open questio…
GPT-5.6仅凭一条精心设计的prompt，成功破解凸优化领域30年未解难题，AI数学推理能力再获惊人突破。
Article URL: https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/ Comments URL: https://news.ycombinator.…
OpenAI 和 Anthropic 的 AI 模型先后攻克 80 年经典数学难题，展示大模型在数学推理上的突破。
IT之家 5 月 27 日消息，在 OpenAI 宣布利用 GPT-5.5 模型攻克 80 年数学难题后，Anthropic 的工程师 Sholto Douglas 昨日（5 月 26 日）在 X 平台发布推文， 称 Claude Mythos 也解出了这道数学难题。 IT之家曾于 5 月 21 日…
OpenAI模型推翻离散几何核心猜想，AI在科学发现中展现惊人潜力
OpenAI Model Disproves Central Conjecture in Discrete Geometry Meta Description: An OpenAI model has disproved a central conjecture in discrete geomet…