AI加速一切！数学防线刚失守，物理已在AI射程内

新智元报道今夏，数学圈震动不断——OpenAI 的 Astra 模型一举解决 10 个长期悬而未决的数学问题（包括非 sofic 群的存在、高维球堆积新的结果等）；Claude Fable 5 找到近百年 Jacobian 猜想的反例，之后还极大推动了黎曼猜想！这让卡内基梅隆大学数学专业的研究生