OpenAI称，其AI在数学领域证明局部平滑猜想并解决Kakeya和Stein限制猜想，在计算机科学领域推翻指数时间假设，并为量子色动力学及杨—米尔斯理论提… · @BreakingAlert_ · TwKit

@BreakingAlert_

OpenAI称，其AI在数学领域证明局部平滑猜想并解决Kakeya和Stein限制猜想，在计算机科学领域推翻指数时间假设，并为量子色动力学及杨—米尔斯理论提出严格数学存在性证明。前两项已通过Lean形式化验证，物理学成果仍由专家审查，全部结论尚待学界独立确认。 形式化验证和公开证明材料提高了可核查性，但公司声明不能替代独立同行审查。

曝光 295 · 评论 0 · 点赞 0 · 书签 0