吴宇怀曾在DeepMind和OpenAI实习,吴宇怀的主要研究方向是打造具备推理能力的机器,是自训练增强推理模型STAR、语言模型Minerva、定理证明器Alpha Geometry等项目的作者或核心贡献者,在国际顶会发表过诸多论文,比如在《Nature》上发表论文《Solving Olympiad Geometry Without Human Demonstrations》。
这篇论文详细描述了Alpha Geometry项目的设计和成效。论文讨论了如何通过合成大量的定理和证明来训练AI模型,以解决高难度的几何问题,标志着AI在数学推理领域的一个重要突破。