LeanAgent - AI话题 - AI快开门

2024-10-13

清华校友团队用LeanAgent系统成功证明162个高阶数学定理，攻克陶哲轩形式化难题；同时o1模型在复杂推理任务上再进化，显示大模型数学与逻辑能力正快速逼近甚至超越人类专家，为科研自动化打开新范式。

# LeanAgent