在学会数学之前，AI 先学会了大厂的虚荣心

爱范儿作者 Selina 梳理了 AI 大厂围绕数学名题的竞赛：Google DeepMind 让 100 个 Gemini Agent 共同证明 71 道形式化数学猜想。