
这一次,OpenAI表示正在采纳科学家们关于如何发布研究成果的新建议。
这一次,OpenAI表示正在采纳科学家们关于如何发布研究成果的新建议。
在大规模发布数百篇据称包含长期悬而未决的数学问题解决方案的手稿后不到一个月,OpenAI 又带来了三项涉及数学、计算机科学和物理学的“重大”新发现。与以往不同的是,此次 OpenAI 选择让其称之为“引导者”的外部专家来指导计算机科学和物理学领域的研究结果;而对于数学问题,OpenAI 表示,他们建议公开人工智能生成的成果,以便研究人员自行推导出各自的解释。
OpenAI 的研究成果已于今日添加至 GitHub:欧几里得波动方程的局部光滑性。该证明借助一个辅助偏微分方程,在至少二维的空间维度下建立了 Sogge 的局部光滑性结果。此外,它还推导出了 Kakeya 极大值猜想与维数猜想,以及 Stein 在其推测范围内部给出的球面限制估计。我们此次直接发布了模型输出,正如我们在 10 月 6 日发布的版本中所做的那样。 指数时间假设是错误的。本文提出了一种确定性算法,能够在亚指数时间和多项式空间内精确计数固定宽度 CNF 公式的满足赋值个数。其中针对 3-SAT 的情形直接否定了指数时间假设。由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的一个独立计算机科学家工作组将对这一证明进行审查并加以阐释。应该工作组的要求,我们现将相关材料立即公开,以便其他研究者也能对其进行检验。
该公司承认,这种方法本身也可能存在一些问题;而OpenAI组建的AGMAI数学顾问小组昨日刚刚表示:“我们建议人工智能企业不要采用”那种指定某些人优先获取输出的做法,并指出不平等的访问权限、声誉被借用以及选择偏见等都是其中的一些问题。相反,他们建议未来的人工智能实验室应在学术知识库上发布研究成果,同时附上形式化证明、问题选取依据、为研究结果理解工作提供资助的相关信息以及其他必要内容。
“纯粹的疯狂”:数学家们需要数年时间才能理解OpenAI的最新发布
围绕人工智能接管数学的所有争议
物理方面的信息尚未完全公布,但其内容是一项“在四维空间中包含规范场和费米子的某些相互作用量子场论的数学严格存在性证明,其中包括量子色动力学(QCD)以及粒子物理标准模型的统一完备化”。据OpenAI称,“大卫·格罗斯将领导一个由迈克尔·道格拉斯、阿瑟·贾菲、伊戈尔·克列巴诺夫和尼基塔·涅克拉索夫组成的团队,负责推动这项研究。”
据称,这项计算机科学领域的合作证明了长期以来被广泛认为是正确的指数时间假设(ETH)实际上是错误的。OpenAI表示,该成果的验证将由一个由三位专家组成的小组负责,其中包括加州大学圣地亚哥分校的拉塞尔·英帕利亚佐和拉马莫汉·帕图里——他们曾是1999年首次提出该假设的团队成员——以及麻省理工学院教授瑞安·威廉姆斯。该小组决定于今日在GitHub上发布由人工智能生成的论文草稿及Lean形式化证明。
他们还向社区发布了一封公开信,征求关于如何评估该声明的意见,并就如何规范处理人工智能生成的突破性成果提出了建议:
我们欢迎就以下三个更广泛的问题展开讨论:在人工智能生成结果的早期访问、利益冲突的披露,以及将未发表的材料用于后续研究等方面,应当遵循哪些预期?在表彰新发现的同时,又该如何认可那些对这些发现进行核查、修正、简化、阐释和拓展的工作?当研究方法与研究方向不断演变之际,我们如何在支持学生与研究人员的同时,保持他们质疑研究结果、孕育新思想所必需的理解力与判断力?
关于这一数学突破,也有类似的说明,其中指出其模型“在所有维度上都给出了局部光滑化猜想的证明,从而也在所有维度上解决了Kakeya猜想和Stein限制性猜想”。就在几个月前,纽约大学教授王鸿因在三维空间中解决了Kakeya猜想,荣获国际数学联盟颁发的享有盛誉的菲尔兹奖。
理查德·劳勒
更多内容:围绕人工智能接管数学的所有争议
最受欢迎
微软向6万名员工提供买断方案
一位YouTuber拆解了一部iPhone Duo,并认为他找到了“裂屏门”的原因
苹果为iPad mini配备了更大尺寸的OLED显示屏
彼得福音(蒂尔)
r/opensource 刚刚禁止了人工智能、非英语使用者等内容
这是原生广告的标题