AI Roundup · X AI coding圈日报·· 5 小时前AI 评分39
OpenAI 发布 722 篇数学论文，Codex 投票迫使重置，OpenAI 推出 Decisions API 对标 Jev，Mistral 带来 Le Chonk
OpenAI publishes 722 math papers, Codex voters force a reset, OpenAI's Decisions API takes on Jev, Mistral's Le Chonk lands
AI 导读
OpenAI 在 GitHub 发布由内部未公开前沿模型生成的 722 篇数学手稿，涵盖 372 个类别，平均每项成果消耗 3 小时 ChatGPT Pro 思考算力。该模型测试了约 4,000 道难题，但官方承认部分成果尚未完成 Lean 形式化验证；同日 Codex 投票触发重置，Mistral 亦推出了万亿参数模型 Le Chonk。
来源：AI Roundup · X AI coding圈日报 · ai-roundup.rinti.se