在GitHub开源仓库中,研究者先提供算法方向,随后Codex和Claude等智能体大量提交PR,151个PR和超2.6亿行代码推动参数k从2^-182跃升至0.00129。该事件说明AI可以参与数学优化和实验搜索,但代码生成速度超过验证能力,暴露出验证、算力、版权和学术评价新挑战。 关键要点k实现数量级突破151个PR涌入验证速度成瓶颈 返回列表 上一篇 下一篇