The Decoder· Maximilian Schreiner·· 3 小时前同新闻AI 评分93
OpenAI 聘请外部专家验证 AI 在数学、计算机和物理领域的证明结果
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 聘请外部专家作为“shepherd”验证其 AI 在数学、计算机和物理领域产生的证明结果。计算机科学方面，AI 证明了指数时间假设（ETH）为假，若结果成立将动摇基于该假设的大量论文基础；数学方面，AI 在所有维度证明了局部平滑猜想，并间接证明了 Kakeya 猜想和 Stein 限制猜想；物理学方面，AI 证明了四维量子场论的存在性，为粒子物理学提供了数学基础。
同一新闻，精选展示《OpenAI 分享 Kakeya 猜想等数学与物理问题的模型结果及验证方法》
来源：The Decoder · the-decoder.com