OpenAI 数学证明成果冲击专业数学实验室叙事

kkcheong 在 Reddit 发帖认为，OpenAI 最新的数学证明成果让 Axiom Math 这类专业数学产品失去意义，前沿实验室自己做数学就够了。该帖为观点式短帖，反映的是模型能力外溢对垂直 AI 创业公司的挤压讨论。