The Verge · AI· Richard Lawler·· 7 天前同新闻AI 评分88
OpenAI 公布数学、计算机科学与物理三项 AI 发现，并引入外部专家把关
OpenAI announces three big science discoveries and a new way to work with academics
AI 导读
OpenAI 公布三项 AI 辅助得出的“重大”发现，分别涉及数学、计算机科学与物理，并将结果发布到 GitHub。
摘要与补充说明
数学方面，模型给出了欧几里得波动方程局部光滑猜想的证明，并由此推出 Kakeya 猜想与 Stein 限制猜想；计算机科学方面，论文给出确定性算法，在次指数时间内精确计数固定宽度 CNF 公式的满足赋值，其中 3-SAT 情形否定了指数时间假设（ETH）；物理方面仅披露为四维含规范场与费米子的相互作用量子场论的严格存在性证明，涵盖 QCD 与标准模型统一完成，全文尚未公开。此次 OpenAI 让外部专家“把关”计算机科学与物理结果，数学部分则按顾问建议直接公开模型输出。
同一新闻，精选展示《OpenAI 请外部专家核查其 AI 在数学、计算机科学与物理领域产出的证明》
此来源暂仅展示摘要。