OpenAI在数学领域的突破性进展

1. 22:46
   PANews

   OpenAI向Simons基金会捐赠500万美元，支持AI研究成果研究

   OpenAI向Simons Foundation捐赠500万美元，用于支持数学家检验、理解并拓展AI生成的研究成果，包括OpenAI近期公布的相关成果，并提供模型访问权限及计算资源。

1. 21:03
   The Decoder精选

   OpenAI 在数学领域的研究引发数学界热议

   OpenAI 发布了超过 700 篇关于数学问题的论文，引发数学界对其研究方法和成果的讨论。

2. 03:09
   The Verge · AI精选

   OpenAI 发布大量数学成果引发数学界热议

   OpenAI 发布了近 400 项 AI 生成的数学成果，涵盖多个数学领域，引发数学界广泛关注和讨论，包括对成果的验证、评价以及对未来数学研究的影响。

1. 05:46
   Decrypt精选

   OpenAI 发布 722 篇数学论文，展示 AI 解决数学问题的能力

   OpenAI 发布了 722 篇数学论文，展示了其内部模型在解决数学问题上的能力，但这一成果尚未得到数学界的广泛认可，引发了关于 AI 在数学领域的应用和责任的讨论。

1. 16:54
   The Decoder精选

   OpenAI 在 GitHub 上发布 372 个 AI 生成的数学证明，向学术界发出挑战

   OpenAI 发布了 372 个由内部 AI 模型生成的数学证明，这些证明旨在解决开放问题或取得重大进展。这些结果发布在 GitHub 上，并使用 Lean 语言进行形式化验证，以提高审查效率。

2. 12:55
   Latent Space精选

   OpenAI 发布 722 篇数学论文，解决 90 个顶级数学问题

   OpenAI 发布了 722 篇数学论文，基于其内部 Navier-Stokes 数学模型，解决了 500 个开放数学问题中的 90 个，其中包括 Quasi-Riemann Hypothesis，这是数学史上的重大突破。

3. 12:47
   Simon Willison

   Hacker News 用户 Jake Boggan 对 OpenAI 解决 Barnette's Conjecture 的评论

   Hacker News 用户 Jake Boggan 表示，他曾在布达佩斯研究图论，并花费24年时间研究 Barnette's Conjecture，最近得知该问题已被解决，他感到既惊讶又悲伤。

4. 07:26
   The Verge · AI精选

   OpenAI 发布包含数百个未解数学问题解决方案的论文集

   OpenAI 发布了包含数百个未解数学问题解决方案的论文集，这些解决方案由一个未发布的模型生成，涉及 372 个结果家族。

5. 07:21
   PANews

   OpenAI发布内部模型产出的722篇数学手稿

   OpenAI发布由内部模型产出的722篇数学手稿，包含372个成果族，部分手稿附有Lean形式化证明，但并非全部完成验证。

1. 20:00
   OpenAI News

   OpenAI 发布数学开放问题新成果及 Lean 证明形式化

   OpenAI 内部前沿模型发布数学开放问题新结果，并在 GitHub 上分享 Lean 证明形式化和研究细节。

2. 03:28
   The Verge · AI精选

   AI 在数学领域的突破性进展：OpenAI 的最新研究

   OpenAI 在数学领域取得了突破性进展，包括解决著名的千年难题之一。本文报道了 OpenAI 的最新研究动态，并探讨了 AI 在数学领域的应用和影响。

当前热度 3·可比范围峰值 10（10月15日 23:00）·近 24 小时可比范围变化 -49%

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。