← 返回 AIRadar 首页

Hugging Face CEO 转发：OpenAI 数学能力突破或源于大规模 Lean 形式化 RL 环境

Clem Delangue 转发观点指出，OpenAI 的数学推理突破可能来自大量基于 Lean 形式化语言的强化学习环境构建，暗示数学能力提升正从数据驱动转向环境驱动。