Anthropic 的Claude Mythos模型通过巧妙证明解决了组合几何领域的百年难题——Erdős单位距离猜想,紧随OpenAI的GPT-5.5之后。这一突破采用智能体协同范式,而非传统单一模型,标志着AI在纯数学发现领域的竞争白热化。
谷歌DeepMind推出AI框架“AlphaProof Nexus”,通过四级智能体架构协同,在数学研究领域取得重大突破,成功解开两道悬而未决56年的埃尔德什难题。系统从基础模型与Lean编译器循环交互入手,逐步提升推理复杂度,展现了AI在形式化验证与数学推理中的强大潜力。
2026年5月20日,OpenAI的推理模型成功推翻数学大师保罗·Erdős于1946年提出的“单位距离猜想”,解决了离散几何领域近80年的核心难题。与以往不同,该成果获学术界广泛认可,标志着AI从“检索”到“原创”的关键突破。
OpenAI最新推理模型成功推翻数学家保罗·Erdős在1946年提出的单位距离猜想,首次依靠自身长链推理能力自主攻克数学核心开放难题。这一里程碑式突破经专家独立验证,标志着人工智能从检索式解答迈入原创性证明阶段。
Openai
$2.8
Input tokens/M
$11.2
Output tokens/M
1k
Context Length
Xai
$1.4
$3.5
2k
$7.7
$30.8
200
-
Anthropic
$7
$35
Google
$2.1
$17.5
$21
$105
$0.7
Alibaba
$4
$16
$1
$10
256
$2
$20
$6
$24
Baidu
128
Moonshot
Bytedance
$0.8
32