跳到正文
The Verge AI 技术与创作工具资讯· Richard Lawler·· 3 小时前AI 评分74

OpenAI 公布数学、计算机科学与物理三项发现,并引入外部专家把关

OpenAI announces three big science discoveries and a new way to work with academics

先看结论

原文显示 OpenAI 把三项 AI 产出结果连同 Lean 证明公开,并交由外部专家小组把关,但物理结果未完整发布,验证仍在进行。

报道讲了什么

  • OpenAI 公布数学、计算机科学和物理三项“重大”发现,并把结果加入 GitHub。
  • 计算机科学结果声称证明长期被相信为真的指数时间假设(ETH)不成立。
  • 数学结果声称证明了各维度的 local smoothing 猜想,并由此解决 Kakeya 猜想与 Stein 限制猜想。

可以做什么

  • 模型输出包含一个确定性算法,可在次指数时间与多项式空间内精确计数固定宽度 CNF 公式的满足赋值。
  • 数学证明借助辅助偏微分方程,在至少二维的每个空间维度上建立 Sogge 的局部平滑性。
  • 物理方面给出四维中含规范场与费米子的某些相互作用量子场论(含 QCD)的数学严格存在性证明。

怎么使用

原文没有提供可复现的操作步骤,请从下方原文或官方说明确认使用方法。

结果与限制

  • 物理结果未完整公开,仅给出概述性描述。
  • OpenAI 承认这种由外部专家引导的做法本身可能存在问题。
  • AGMAI 数学顾问小组建议 AI 公司不要采用指定特定人员优先获得输出的做法。

使用入口与依据

来源:The Verge AI 技术与创作工具资讯 · theverge.com

事件后续

查看事件全部

正在读取事件进展…