
OpenAI宣布三项重大发现及与学术界合作的新方式
在其声称包含长期数学问题解决方案的数百份手稿大规模发布后不足一个月,OpenAI再度推出三项在数学、计算机科学和物理学领域的“重大”发现。这次与以往不同的是,OpenAI选择了外部专家,称其为“领航者”,来指导计算机科学和物理学的成果,而在数学问题方面,他们建议OpenAI发布AI的输出,以便研究人员进行自己的解释。今天OpenAI在GitHub上发布的结果包括:欧几里得波动方程的局部平滑性。该证明使用了一个辅助的偏微分方程来确立Sogge的在每个至少二维空间维度中波动的局部平滑性。它还得出了Kakeya最大值和维度猜想,以及Stein的球面限制估计,涵盖了猜想范围的内部。我们直接发布模型输出,正如我们在10月6日的发布中所做的那样。指数时间假设是错误的。该论文提供了一种确定性的算法,可以在次指数时间和多项式空间中准确计数固定宽度CNF公式的满足分配。3-SAT的情况驳斥了指数时间假设。一组由Russell Impagliazzo、Ramamohan Paturi和Ryan Williams领导的独立计算机科学工作组将审查并解释该证明。应该小组的要求,我们立即公开这些材料,以便其他人也可以审查。该公司承认,这种方法可能会有自己的问题,OpenAI组建的AGMAI数学顾问小组昨天刚刚表示,“我们建议AI公司不要采用”将某些人指定为优先接收输出的做法,引用的不平等获取、借用声誉和偏见选择等一些问题。相反,他们建议未来的AI实验室在学术存储库中发布输出,附带经过Lean形式化的证明、选择问题的信息、资助理解结果的人的资金以及其他信息。物理学的信息尚未全部发布,但是一项“在四维中包含规范场和费米子的某些相互作用量子场论的数学严格存在证明,包括量子色动力学(QCD)和粒子物理标准模型的统一完成。”根据OpenAI的说法,“David Gross将领导一个包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov的团队来引领这一工作。”计算机科学的合作据称证明了人们普遍认为为真的指数时间假设(ETH)实际上是错误的。OpenAI表示,结果的验证将由三位专家组指导,其中包括UC圣地亚哥的Russell Impagliazzo和Ramamohan Paturi,他们是1999年最初提出该假设的小组的一部分,小组决定今天在GitHub上发布AI输出的报告和Lean证明。数学突破也有类似的文档,其模型“在每个维度中生成了局部平滑猜想的证明,因此还解决了Kakeya猜想和Stein的限制猜想在所有维度中的问题。”就在几个月前,NYU教授Hong Wang因在三维中解决Kakeya猜想而获得国际数学联盟颁发的杰出菲尔兹奖。
阅读全文 →本站免费、广告极少。如果觉得有帮助,可以请我们喝杯咖啡 —— 任何金额都对持续运营有实际帮助。
☕请我喝杯咖啡