AI早报 2026-10-08：OpenAI数学大模型722篇论文攻克90个开放难题 / Claude Haiku 5.5发布 / Mistral Large 4回归 / Kubernetes创始人做云原生Agent Harness

每日AI大事晨间速递 · Oct 8, 2026

OpenAI用内部未发布的数学大模型一次性放出722篇数学稿件、归入372个成果家族，解决了顶尖500个开放数学问题中的90个，其中“准黎曼猜想”被数学家称为数学史上最重要的时刻之一，平均每个结果只用了约3小时的ChatGPT Pro推理算力，成果还涉及比n log n更快的整数乘法、1994年以来开放的3D弹性反问题唯一性结果，约20%属于反证或反例，反驳了“AI数学只是暴力搜索”的说法；不过这些结果尚未被独立验证，质量审查或成下一个瓶颈。Anthropic发布Claude Haiku 5.5，十万token以内定价$0.10/$0.50与GPT-6 Luna完全对齐、超十万涨5倍，且换了更不划算的分词器token数多约25%等于隐性涨价；同时把Sonnet 5.5缓存读取价砍半，并给Max/Team订阅用户每月赠送等额API额度。Mistral发布1万亿总参数、490亿激活的原生多模态Mistral Large 4“Le Chonk”，欧洲约3800块Grace Blackwell训练，开源权重承诺月底放出，可惜话题被数学新闻盖过。Kubernetes联合创始人Craig McLuckie和Joe…