Hacker News：AI 热帖· OfficialTurkey·· 6 天前AI 评分60
OpenAI 公开内部前沿模型产出的多项数学研究成果
Sharing AI progress in mathematics
AI 导读
OpenAI 发布由内部前沿模型产出的一系列新数学成果，并在 GitHub 仓库中公开论文、修订与引用协议。仓库包含多项证明的 Lean 形式化、10 份模型推理摘要、ChatGPT Pro 用量估算和尝试题目数量统计，平均每项成果约消耗相当于 3 小时 ChatGPT Pro 思考的算力。
来源：Hacker News：AI 热帖 · openai.com