AI寒武纪·· 5 天前AI 评分24
OpenAI 公开 722 篇 AI 撰写的数学论文，平均单题消耗 ChatGPT Pro 三小时算力
刚刚，OpenAI公开722数学成果：平均单题消耗3小时Pro算力
AI 导读
OpenAI 发布 722 篇由 AI 撰写的数学论文并打包上传至 GitHub，平均每个难题解法消耗 ChatGPT Pro 深度思考约三小时算力，同步给出大量 Lean 代码供机器核验，技术细节与模型推理过程全部开源。
来源：AI寒武纪 · mp.weixin.qq.com