科技媒体 RSS· Matthias Bastian·· 11 天前AI 评分62
OpenAI 在 GitHub 发布 372 条 AI 生成数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 上发布了 372 条 AI 生成的数学结果，其中包含可供机器验证的 Lean 形式化。每条结果平均消耗约三小时的 ChatGPT Pro 算力。25 位菲尔兹奖得主警告，批量生产数学真理可能摧毁孕育新思想的土壤，而非带来新想法。
来源：科技媒体 RSS · the-decoder.com