AI首次解决真正的前沿数学问题:OpenAI Astra以2000美元破解十大未解猜想,芯片部署每9个月翻倍——AI从"做任务"跨越到"做研究"
8月2日,OpenAI宣布其下一代模型Astra的内部版本 solved 10个长期未解的数学与理论计算机科学问题,并在GitHub上发布了可机器验证的Lean形式化证明,总计算成本仅约2000美元。Fields Medal得主Timothy Gowers表示"毫不犹豫推荐至Annals of Mathematics"。同日,Epoch AI数据显示AI芯片部署每9个月翻倍,Hugging Face CEO呼吁开发者问责制,Trump Media付费数据API正式上线引发SEC调查要求。AI正在从"辅助工具"跨越到"自主研究合作者"。