待验证50% 置信事实精确时间

François Chollet 提出的 ARC-AGI 基准和 Epoch AI 提出的 FrontierMath 基准试图通过生成全新问题来测试真正的推理泛化能力

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/8/14

首次发现

有效期至：2026/11/12

来源

菲尔兹奖得主Tim Gowers谈LLM数学能力的边界与本质

相关事实

待验证AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数68% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设64% 相似待验证西蒙与艾伦·纽厄尔共同开发了'逻辑理论家'和'通用问题求解器'等早期AI程序62% 相似待验证FrontierMath由Fields奖得主陶哲轩等数学家参与设计，包含尚未公开发表的原创问题，旨在避免数据污染62% 相似待验证像黎曼假设、P≠NP问题、纳维-斯托克斯方程光滑性等千禧年问题需要开创全新数学理论框架，当前AI尚无法做到60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/746427

API

curl https://kongchang.com/api/v1/knowledge/claims/746427

MCP

get_claim(id=746427)