机器之心关注OpenAI利用AI推进数学研究，经典难题求解取得新进展

机器之心近期报道OpenAI研究团队借助先进推理模型参与数学证明任务，展示大模型在形式化推理与科研辅助领域的持续突破潜力。