谷歌DeepMind推出AI框架“AlphaProof Nexus”,通过四级智能体架构协同,在数学研究领域取得重大突破,成功解开两道悬而未决56年的埃尔德什难题。系统从基础模型与Lean编译器循环交互入手,逐步提升推理复杂度,展现了AI在形式化验证与数学推理中的强大潜力。
OpenAI最新推理模型成功推翻数学家保罗·Erdős在1946年提出的单位距离猜想,首次依靠自身长链推理能力自主攻克数学核心开放难题。这一里程碑式突破经专家独立验证,标志着人工智能从检索式解答迈入原创性证明阶段。
OpenAI的GPT-5.2Pro模型在研究员推动下,成功协助解决了数论领域的“埃尔德什难题”第281号,被数学家陶哲轩评价为AI解决开放性数学问题的重要案例。
人工智能在数学领域取得重大突破,GPT5.2模型仅用15分钟便证明了保罗·埃尔德什遗留的未解难题,并通过形式化工具验证。埃尔德什的千余猜想曾被视为人类智慧边界,但近期已有15个问题被解决,其中11个由AI完成。
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
Baidu
128
$2
$20
$6
$24
Moonshot
Bytedance
$0.8
32