批评前沿实验室重数学证明轻生产代码库

2026年10月1日，AGI Hunt 报道称，BaconShadow 公开批评 Anthropic、OpenAI 等前沿实验室：这些机构把模型发布包装成逼近 AGI 的进展，却回避真实软件工程场景。作者认为，抽象数学证明与绿地代码生成容易登上头条，而技术债、架构漂移等真实工程问题才真正考验通用能力，且没有自动验证器为其打分。他据此指出，实验室宁肯投入算力去解千禧年数学难题，也不愿部署数千个并行 agent 去清理企业积压的 issue。作者进一步表示，在模型能够自主递归改进、并为自己产出的代码承担三年后果之前，所有发布都只是增量更新。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。