待验证50% 置信事件精确时间
AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数
1
来源数
50%
置信度
长期有效
时效性
2026/7/19
首次发现
来源
相关事实
待验证在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系71% 相似待验证斯坦福学者评价AI对埃尔多斯1196号猜想的证明是'首批具备长期学术价值的AI证明'70% 相似待验证François Chollet 提出的 ARC-AGI 基准和 Epoch AI 提出的 FrontierMath 基准试图通过生成全新问题来测试真正的推理泛化能力68% 相似待验证西蒙与艾伦·纽厄尔共同开发了'逻辑理论家'和'通用问题求解器'等早期AI程序67% 相似待验证Anthropic的数学家与人类研究团队借助Claude成功构造出困扰数学界30年的668阶哈达马矩阵，并给出12张矩阵方案65% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/563072API
curl https://kongchang.com/api/v1/knowledge/claims/563072MCP
get_claim(id=563072)