@gdb：祝贺取得惊人成果！
摘要
David Turturean 在 EpochAI Research 的 FrontierMath 计划下，与问题提出者 David Roe 合作，通过语音输入解决了 p 进伽罗瓦理论中一个 40 年来的开放问题。
查看缓存全文
缓存时间: 2026/07/28 08:28
祝贺这个令人惊叹的成果！
David Turturean (@DavidTurturean): 我主要依靠语音，解决了 @EpochAIResearch 的 FrontierMath Open Problems 之一：找到 2-adic Absolute Galois Group 的一个显式表示——这个问题已经开放了四十多年，现在与问题的提出者 David Roe 合作给出了完整证明。 🧵 1/n
相似文章
@gdb：GPT-5.6 Sol 用于解决100多年历史的猜想。没想到这种水平的智能能被每个人访问并可用……
据报道，GPT-5.6 Sol 找到了 Maxwell 猜想的一个反例，这是一个有100多年历史的问题，人类数学家已对这一结果进行沟通。
@gdb: 用于解决 Erdős 问题的 Sol Ultra：
GPT-5.6 Sol Ultra 已经解决了另一个 Erdős 问题（#793），使用了极其简短而优雅的构造，增强了 Erdős 使用的原始方法。
@wtgowers: 我也开始尝试让 AI 解决数学中的开放性问题。更准确地说，我把 Melvyn Nathanson 提出的几个问题提交给了 ChatGPT 5.5 Pro……
Tim Gowers 报告称，他使用 ChatGPT 5.5 Pro 尝试解决由 Melvyn Nathanson 提出的数学开放性问题。
又一个50多年未解决的Erdős问题被GPT-5.6攻克
GPT-5.6又解决了一个由数学家Paul Erdős提出的50多年未解决的难题，展示了人工智能在数学推理能力上的重大飞跃。
OpenAI 声称解决了80年前的数学难题——这次是真的
OpenAI 声称其新推理模型自主生成了一个原创数学证明，推翻了保罗·埃尔德什（Paul Erdős）一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。