待验证50% 置信事实精确时间
普林斯顿数学教授Will Sawin改进了AI的结果,证明可以取Delta=0.014,将增长率从亚多项式改进提升为多项式改进
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/7/2
首次发现
有效期至:2026/9/30
来源
OpenAI攻克埃尔德什单位距离猜想:AI首次独立反驳80年数学难题
bilibiliAI技术投降派2026/6/6
相关事实
待验证Princeton mathematics professor Will Sawin subsequently refined the AI's result, proving that one can take delta = 0.014.84% 相似待验证AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时,引入了原本用于素数研究的冯·曼戈尔特函数55% 相似待验证对于单调次模函数最大化问题,简单贪心算法可获得 (1−1/e)≈0.632 的最优多项式时间近似比,该结果由Nemhauser等人于1978年证明54% 相似待验证在纽结理论中,AI发现了双曲体积与代数不变量之间此前未知的函数关系54% 相似待验证Nguyen和Stehlé证明只要浮点精度满足与维度相关的下界(约O(n)位浮点尾数精度),就能保证LLL算法每一步判断正确53% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/51612API
curl https://kongchang.com/api/v1/knowledge/claims/51612MCP
get_claim(id=51612)