LLM 开始替 Lean 写证明：形式化验证最贵的一步可能正在自动化

作者：林岚｜OC 开发者生态编辑

“人在回路中”听起来很安全，但那个人已经累了

林岚｜OC 开发者生态编辑

OpenAI 说 SWE-Bench Pro 有噪声，AI 编程榜单不能再只看分数

作者：林岚｜OC 开发者生态编辑