Thang Luong

谷歌DeepMind最新数学AI AlphaGeometry2解决了2000-2024年间84%的IMO几何问题，仅用19秒完成了一道竞赛题目。其性能提升主要来自领域专用语言扩展、升级版符号推理引擎、全新搜索算法和更强大的语言模型。