热点事件持续更新
OpenAI发布内部前沿模型生成的722篇数学论文
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
2026年10月7日，OpenAI在GitHub上发布了由其内部未公开前沿模型生成的722篇数学手稿，涵盖372个类别。该模型共测试了约4,000道难题，平均每项成果消耗3小时ChatGPT Pro思考算力。同时，官方承认其中部分成果尚未完成Lean形式化验证。
AI 根据报道生成 · 2 小时前更新
最新进展10月7日 14:00
OpenAI在GitHub发布内部未公开模型生成的722篇数学论文，涵盖372个类别。报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- AI Roundup · X AI coding圈日报OpenAI 发布 722 篇数学论文，Codex 投票迫使重置，OpenAI 推出 Decisions API 对标 Jev，Mistral 带来 Le Chonk
OpenAI 在 GitHub 发布由内部未公开前沿模型生成的 722 篇数学手稿，涵盖 372 个类别，平均每项成果消耗 3 小时 ChatGPT Pro 思考算力。该模型测试了约 4,000 道难题，但官方承认部分成果尚未完成 Lean 形式化验证；同日 Codex 投票触发重置，Mistral 亦推出了万亿参数模型 Le Chonk。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。