爱范儿 · AI 筛选· 莫崇宇·· 3 小时前精选AI 评分75
OpenAI 宣布 AI 攻克卡凯亚猜想等三项基础科学难题并完成 Lean 验证
王的猜想，被 AI 一夜通关
AI 导读
OpenAI 宣布其 AI 模型在基础科学领域取得三项突破，包括反驳计算机科学中的指数时间假设（ETH）、攻克所有维度的局部平滑化猜想与卡凯亚猜想，以及为杨-米尔斯理论和量子色动力学构造严格数学存在性。
推荐理由
报道梳理了 OpenAI 模型反驳指数时间假设并攻克卡凯亚猜想等三项理论进展，展现了形式化验证工具在基础科学前沿的应用路径。
来源：爱范儿 · AI 筛选 · ifanr.com