Exponential View· Azeem Azhar·原文发布· 8 天前AI 评分70
OpenAI 未发布前沿模型产出 722 篇数学手稿
🔮 What is left to do
AI 导读
OpenAI 发布了一批由未发布前沿模型生成的数学结果，共 722 篇手稿、372 个族，覆盖数论、复杂性理论和数学物理，平均每个结果约相当于三小时 ChatGPT Pro 的思考量。科学家 Derya Unutmaz 指出，这相当于过去三年主要数学发现的 81%，部分结果已在 Lean 中验证但并非全部。Azeem Azhar 由此提出数学可能分化为机器数学与人类数学两层。
本站提供 AI 导读，完整报道请前往来源网站阅读。
阅读原文 Exponential View · exponentialview.co