AI寒武纪·· 4 天前AI 评估 · 75/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
OpenAI 公开 722 篇 AI 撰写数学论文，单题消耗约 3 小时 Pro 算力
刚刚，OpenAI公开722数学成果：平均单题消耗3小时Pro算力
AI 导读
OpenAI 发布了 722 篇由 AI 撰写的数学论文，成果已打包上传至 GitHub 仓库，但这些声明尚未得到外部数学家证实。平均每道难题的解法消耗 ChatGPT Pro 深度思考约三小时算力，OpenAI 同步给出大量 Lean 代码用于机器核验证明，并开源技术细节与模型推理过程。
来源：AI寒武纪 · mp.weixin.qq.com