The Decoder· Matthias Bastian·· 11 小时前AI 评分75
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 发布由内部前沿模型生成的 372 个数学结果，每个结果被认为解决或实质性推进一个开放问题，内容包括计算机算法改进和与黎曼猜想相关的进展。结果以 Lean 形式化验证发布在 GitHub 而非学术期刊，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力；数学界反应分化，25 位 Fields 得主在公开信中警告大规模产出真命题可能损害数学的概念理解与洞察。
来源：The Decoder · the-decoder.com