Working with academic communities to build scientific understanding进行中

2 家独立发布者2 条报道第 1 天最新 10/27 03:57首次发现 10/26 22:00

事件导读

OpenAI 宣布在数学、计算机科学和物理学领域取得了三项新发现，涉及谐波分析、复杂性理论和量子场论。他们的 AI 模型于 2026 年 9 月 9 日生成了杨-米尔斯存在性的自然语言证明，并于 2026 年 9 月 18 日生成了 QCD 的证明。2026 年 10 月 18 日的 AI 输出在次日被 Lean 正式化。根据专家建议，OpenAI 在其公共 GitHub 存储库中公开发布了 AI 自然语言输出的说明和 Lean 证明。

基于目前可用的来源材料；可能未涵盖已归档报道。

事件走势

事件动态

本站新收录的报道与讨论活跃度分开呈现。

新增收录报道

近 7 天 · 每 24 小时统计新增收录

2条已收录报道

2条报道10/26 20:22自该起点开始的 24 小时区间

实际收录时间10/26 22:0010/27 08:00

按 BuzzRadr 首次收录时间统计链接报道；重复链接只计一次，统计仅反映本站的收录记录。

讨论活跃度

基于已采集的互动信号，不代表全网热度。

最近采样16.310/27 16:00窗口峰值16.310/27 16:00

10/26 22:0010/27 16:00

互动指标覆盖 0/1 个已采集的内容条目。

时间线

报道时间线

2 条真实报道 · 2 家独立发布者 · 新到旧

发布10/27 03:57

OpenAI announces three new discoveries in mathematics, computer science, and physicsreddit.com

发布10/26 14:30

Working with academic communities to build scientific understandingopenai.com

We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory. Our release process continues to evolve in response to feedback from the associated academic communities. In our view, these manuscripts are best understood as a…

关联

暂未找到有明确关联的其他事件。

BuzzRadr

事件导读

事件动态

报道时间线

相关事件

事件动态

相关事件