荷鲁斯快报 (DeepHorus) 是一个专注于人工智能、加密与区块链、科技创新及前沿交叉领域的科技资讯平台。
发布日期

OpenAI宣布三项重大科学发现及与学术界合作的新方式

作者
  • avatar
    姓名
    荷鲁斯快报
    社交账号

OpenAI 宣布了数学、计算机科学和物理学领域的三项重大发现,以及与学术专家合作的一种新模式。这些成果发布时,距其发布数百篇手稿还不到一个月;OpenAI 称这些手稿回答了长期存在的数学问题。外部的“shepherds”(引导者)将指导其中两项发现。

在数学方面,OpenAI 在 GitHub 上发布了“欧几里得波动方程的局部光滑性”的证明。该证明使用一个辅助偏微分方程,在每一个至少为二维的空间维度中建立 Sogge 关于波的局部光滑性。OpenAI 表示,它还可推出 Kakeya 猜想和 Stein 猜想。

计算机科学论文主张指数时间假设(ETH)为假。它给出一个确定性算法,能在次指数时间和多项式空间中精确计数固定宽度的 CNF 赋值;3-SAT 反驳了 ETH。一个由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的独立小组将审查它。

在物理学方面,OpenAI 尚未完全发布输出内容。它描述了一个数学上严格的证明,证明四维中带有规范场和费米子的相互作用量子场论存在,包括量子色动力学以及一个统一的标准模型完备化。David Gross 将领导一个引导小组,成员包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov。

OpenAI 承认存在风险。其 AGMAI 数学顾问昨天表示,AI 公司不应采用让指定人员优先获取的做法,理由包括获取机会不平等、借用声誉和有偏选择。他们建议在学术仓储库上发布成果,并附上 Lean 形式化证明、选择细节和资助信息。

OpenAI 还发布了一封公开信,寻求为 AI 生成的突破建立规范。公开信询问应如何治理早期获取、利益冲突和未发表材料,以及应如何通过功劳认定来认可核查和解释结果。它还询问,随着方法变化,应如何支持研究人员。

阅读原文 →来源:theverge