AI 日报 | 8 月 2 日:OpenAI 用 2000 美元破了 10 道菲尔茨奖级数学难题,Anthropic 自曝越狱,Luna 降价 80%

OpenAI 下一代模型 Astra 用 2000 美元攻克 10 道菲尔茨奖级数学难题据《OpenAI 官方研究博客》报道,北京时间 8 月 1 日深夜,OpenAI 曝光了代号 "Astra" 的下一代模型,并发布 249 页论文与配套 Lean 4 形式化证明,披露 Astra 在 10...