已过期60% 置信事实精确时间
This is the first time in public record that an AI has autonomously solved an open problem at the core of a mathematical subfield.
2
来源数
60%
置信度
中期 (~90 天)
时效性
2026/7/2
首次发现
有效期至：2026/9/30(已过期)
来源
相关事实
待验证Determining whether AI has truly solved a mathematical problem hinges on whether its proof process can be rigorously verified, not on the answer it outputs71% 相似待验证AI解决的是欧拉方程的强迫情形，而人类数学家解决的是非强迫情形71% 相似已验证现代AI数学系统采用生成-验证闭环架构，利用数学问题'生成困难、验证容易'的非对称性68% 相似待验证目前尚无公认的完整AI对齐解决方案68% 相似待验证研究论文《Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment》探讨AI系统能否在没有人类预设目标的情况下自主探索、猜想并证明数学命题68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/50580API
curl https://kongchang.com/api/v1/knowledge/claims/50580MCP
get_claim(id=50580)