为何 Anthropic、OpenAI 等前沿实验室狂追千禧年数学题，却不管你的生产代码库

BaconShadow 批评 Anthropic、OpenAI 等前沿实验室把模型发布包装成逼近 AGI，却回避真实软件工程。作者认为抽象数学证明和绿地代码生成易上头条，技术债与架构漂移等真实工程才考验通用能力且无自动验证器打分；实验室宁可砸算力解千禧年数学难题，也不部署数千并行 agent 清理企业积压 issue。在模型能自主递归改进并承担自己代码三年后果前，所有发布都只是增量更新。