AITNT · AI头条(网页)·· 7 days agoSelectedAI score81
OpenAI 宣布 AI 攻克所有维度卡凯亚猜想并反证指数时间假设
王的猜想,被 AI 一夜通关
Not yet translated; shown in Chinese.
AI guide
OpenAI 宣布其 AI 模型在理论科学领域取得三项突破,包括证明所有维度的局部平滑化猜想(从而推导出卡凯亚猜想在全维度成立)、反证计算机科学中的指数时间假设(ETH),以及为四维杨-米尔斯理论与量子色动力学构造严格的数学存在性证明。
Why it matters
OpenAI 尝试用前沿模型批量推导未解科学难题并结合形式化验证,展现了人工智能协助基础理论突破的潜在路径与验证挑战。
Source:AITNT · AI头条(网页) · aitntnews.com