DC娱乐网

从现有信息看，OpenAI 2026年10月宣布的全维局部光滑猜想证明，若Lea

2026-10-28 13:58:07 未知来源科技

从现有信息看，OpenAI 2026年10月宣布的全维局部光滑猜想证明，若Lean形式化核验无误，将推平调和分析四大猜想，这一成果也引发了关于AI攻克数学猜想后相关认知的讨论。

阅读：0 点赞：0