在其 大规模发布数百份手稿 之后不到一个月——这些手稿据称包含长期悬而未决的数学问题的解答——OpenAI 又带来了 数学、计算机科学和物理学领域的另外三项“重大”发现。这次的不同之处在于,OpenAI 选择让外部专家——OpenAI 称之为“引导者”——来指导计算机科学和物理学领域的结果,而对于数学问题,OpenAI 表示这些专家建议其直接发布 AI 输出,供研究者自行梳理其中的解释。
欧拉波动方程的局部光滑性。该证明使用一个辅助偏微分方程,在每一个至少为二维的空间维度上确立了波动方程的 Sogge 局部光滑性。它还给出了 Kakeya 极大算子与维数猜想以及 Stein 球面限制估计在猜想范围整个内部的结果。我们像 10 月 6 日的发布那样,直接发布模型输出。
指数时间假设是错误的。该论文给出了一个确定性算法,能在亚指数时间和多项式空间内精确计数固定宽度 CNF 公式的满足赋值。3-SAT 的情形驳斥了指数时间假设。由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的一个独立的计算机科学家工作组将审查并解释该证明。应该小组的要求,我们立即公开这些材料,以便其他人也能进行审查。
公司承认,这种方式本身可能存在问题,而 由 OpenAI 组建的 AGMAI 数学顾问小组 昨天刚表示 ,“我们建议 AI 公司不要采用”指定某些人优先接收输出的做法,并列举了获取机会不平等、借用声誉和选择性偏见等问题。相反,他们建议未来 AI 实验室将成果发布到学术知识库上,附带经 Lean 形式化的证明、关于问题如何被选中的信息、用于资助人们研究理解这些结果的经费以及其他信息。 “我们建议AI公司不要采用”指定某些人优先接收研究产出的做法,并列出获取机会不平等、借用声誉和有偏向的选择等问题作为理由。相反,他们建议今后AI实验室在学术存储库上发布研究成果,附带经Lean形式化的证明、关于问题如何被选出的信息、为研究理解这些结果的人员提供资金,以及其他信息。
“纯粹的疯狂”:数学家需要数年时间才能理解 OpenAI 最新发布的成果
- AI 接管数学引发的所有风波
- 物理学方面的信息尚未完整发布,但它是“关于某些包含规范场和四维费米子的相互作用量子场论的数学上严格的存在性证明,其中包括量子色动力学(QCD)以及粒子物理标准模型的一种统一完备。”据 OpenAI 称,“David Gross 将领导一个包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov 在内的小组来引导这项工作。”
相关物理信息尚未完整公布,但这是一份“关于四维中包含规范场和费米子的某些相互作用量子场论的严格数学存在性证明,其中包括量子色动力学(QCD)以及粒子物理学标准模型的统一完备化”。据OpenAI称,“David Gross将领导一个包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov在内的团队来指导这项工作。”
指数时间假设(ETH) ——一个被广泛认为正确的假设——实际上是错误的。OpenAI 表示,结果的验证将由一个包括加州大学圣地亚哥分校的 Russell Impagliazzo 和 Ramamohan Paturi 在内的三人专家小组指导,他们是最初于这一被广泛认为是正确的说法实际上是错误的。OpenAI 表示,该结果的验证将由一个三人专家组指导,其中包括加州大学圣地亚哥分校的 Russell Impagliazzo 和 Ramamohan Paturi,他们是最初提出该说法的小组成员。 1999年Ryan Williams 。该小组决定今日在 GitHub 上 发布 AI 输出的书面报告和 Lean 证明.
他们还 发布了一封公开信 致社区,就如何审查这一主张以及为处理 AI 生成的突破性成果制定规范征求意见:
我们欢迎就以下三个更广泛的问题展开讨论:
关于早期获取AI生成结果、利益冲突披露以及将未发表材料用于后续研究,应遵循怎样的期望?
署名应如何同时认可新发现以及核查、修正、简化、解释和扩展这些发现的工作?
当方法和研究方向发生变化时,我们如何支持学生和研究人员,同时保持质疑研究结果和发展新想法所需的理解力和判断力?
有 类似的文档 关于这次数学突破,其模型“在所有维度上给出了局部平滑猜想的证明,因此在所有维度上也解决了 Kakeya 猜想和 Stein 的限制猜想。”就在几个月前,纽约大学教授王虹因解决三维 Kakeya 猜想而 被国际数学联盟授予久负盛名的菲尔兹奖 以表彰其解决三维Kakeya猜想。
关注本故事的主题和作者 ,以便在您的个性化主页信息流中看到更多类似内容,并接收电子邮件更新。