AGI Hunt· Not Boring (Packy McCormick)·· 2 小时前精选AI 评分78
OpenAI 宣布反驳指数时间假设并证明四维量子场论存在性
OpenAI 称模型反驳指数时间假设并证明四维量子场论存在性
AI 导读
OpenAI 宣布三项科学发现，分别涉及 Sogge 1991 年局部光滑猜想的全维度证明、ETH 反驳，以及四维相互作用量子场论的存在性证明。数学证明与 ETH 反驳已放上 GitHub 并附 Lean 形式化，成果由不签 NDA、不取报酬但署名的领域专家审核。
推荐理由
集中梳理三项科学发现，并交代外部专家评审与 Lean 形式化情况，便于对照成果的验证方式。
来源：AGI Hunt · agihunt.info