iCreatAI News
跳到正文
10月28日周三
  1. TechCrunch · AI88

    OpenAI 与 Anthropic 称模型推翻指数时间假设,计算机科学界着手回应

    OpenAI 发布三项数学难题的解答,其中一项声称推翻了计算机科学中长期存在的指数时间假设(ETH),Anthropic 随后也发布了自己的反驳。MIT 教授 Ryan Williams 与 ETH 1999 年原论文作者 Russell Impagliazzo、Ramamohan Paturi 一起组织计算机科学界的回应,先发布公开信征集反馈并讨论 AI 贡献的规范。

    推荐理由:围绕 OpenAI 与 Anthropic 宣称推翻 ETH 的争议,呈现计算机科学界对 AI 数学成果的回应与后续验证安排。

10月27日周二
  1. The Decoder88

    OpenAI请外部专家审阅其AI在数学、计算机科学与物理领域产出的证明

    OpenAI请外部专家担任“shepherd”审阅其AI在数学、计算机科学和物理领域产出的证明,并按领域分别处理。数学与计算机科学证明已被翻译成Lean,但Lean只检查证明是否成立,命题本身是否准确仍需专家判断。计算机科学结果称证伪了指数时间假设(ETH),数学结果称在所有维度证明了局部光滑猜想,物理结果称证明了四维量子场论的存在性,但仅覆盖Yang-Mills问题的存在性部分,不含质量间隙。

    推荐理由:原文梳理了OpenAI三项AI数学证明的外部审阅安排与Lean形式化细节,读者可据此了解AI科研成果如何被独立核验。

  2. The Verge · AI88

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

    OpenAI 公布数学、计算机科学与物理三项 AI 发现,其中计算机科学成果声称推翻了长期被广泛相信的 Exponential Time Hypothesis(ETH),相关论文与 Lean 证明已发布到 GitHub。

    推荐理由:OpenAI 公布三项 AI 产出成果,并首次引入外部专家把关,读者可据此观察 AI 科研成果的验证与署名规范之争。