2022 年，亨特・莱特曼以研究员身份加入 OpenAI 后不久，便见证了同事们推出 ChatGPT—— 这款产品后来成为史上增长最快的产品之一。与此同时，莱特曼则在一个团队中默默耕耘，致力于教 OpenAI 的模型解决高中数学竞赛题。 如今，这个名为 MathGen 的团队被视为 OpenAI 打造 AI 推理模型这一行业领先举措的关键力量，而 AI 推理模型正是能像人类一样在电脑上完成任务的 AI 代理的核心技术。 “我们当时试图让模型在数学推理方面做得更好，因为那时它们在这方面还很薄弱，” 莱特曼在描述…