实体
Mathematical Proofs: The Beautiful and The Explanatory
Mathematical Proofs: The Beautiful and The Explanatory
PulseAugur coverage of Mathematical Proofs: The Beautiful and The Explanatory — every cluster mentioning Mathematical Proofs: The Beautiful and The Explanatory across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
OpenAI 发布 722 个 AI 生成的数学证明
OpenAI 发布了一个包含 722 篇数学证明和手稿的合集，这些证明由一个未发布的 Frontier 模型生成。这些结果被组织成 372 个家族，其中许多证明已在 Lean 中得到验证，但有些仍未经验证。每个结果的平均计算时间约为 ChatGPT Pro 处理三小时，OpenAI 正在努力发布底层模型。
-
OpenAI 的 Astra 模型以低于 2,000 美元的价格实现了 10 项数学突破
OpenAI 宣布，使用名为 Astra 的内部模型在数学和理论计算机科学领域取得了十项重大进展。这些突破解决了诸如几何、密码学和复杂性等领域的长期悬而未决的问题。该公司强调了这一过程的效率，并指出该研究的 API 费用不到 2,000 美元，与以往 AI 在数学方面的能力形成鲜明对比。OpenAI 已在 GitHub 上提供了 Lean 4 的形式化证明，以确保透明度和可验证性。