大模型
the-decoder.com ·
@Matthias Bastian
OpenAI 在 GitHub 发布 372 项 AI 生成数学证明，要求学术界跟上
The Decoder 报道，OpenAI 在 GitHub 上发布了 372 项 AI 生成的数学结果，其中包括用于机器验证的 Lean 形式化，每项结果平均消耗约 3 小时 ChatGPT Pro 算力。报道同时提到 25 位菲尔兹奖得主警告，批量生产数学真理可能破坏孕育新思想的土壤。
AI推荐理由 OpenAI 在 GitHub 发布 372 项 AI 生成的数学结果，含 Lean 形式化以便机器验证，平均每项消耗约 3 小时 ChatGPT Pro 算力；同时提到 25 位菲尔兹奖得主对批量生产数学真理的担忧，对 AI 科研应用与算力消耗有具体信息。
78
正文
当前仅保存了标题或简介；并非所有来源都提供正文，可通过下方原文链接查看。