⌘ K
… 读取采集状态 同步中...
雷
原文
The Decoder· Matthias Bastian·· 6 天前AI 评分70

OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明

OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

AI 导读

OpenAI 发布了由其内部前沿模型生成的 372 个新数学结果,这些结果以 GitHub 仓库形式公开而非学术期刊,旨在解决传统人工审查无法应对 AI 产量问题。每个结果由单个 AI 智能体根据单个提示词生成,平均消耗约 3 小时的 ChatGPT Pro Thinking 计算资源,许多证明附带 Lean 语言形式化验证。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:The Decoder · the-decoder.com