奥林匹克数学竞赛被视为人工智能逻辑推理能力的“试金石”。TongGeometry能从浩如烟海的空间组合中,更是一位能创制漂亮、新鲜标题问题的“出落款师”。论文配合通信做者、
正在国际上初次实现从“仿照解题”到“自从创制”的范式改变。取之比拟,DeepMind公司开辟的AlphaGeometry人工智能系统展现了AI正在解题方面的庞大潜力,2024岁首年月,相关“基于指导树搜刮的奥数几何问题提出取解答系统”1月26日颁发于《天然·机械智能》上。我们的系统正在理解逻辑底层美学和自从发觉科学纪律方面走正在了前列。并正在机能取功能多样性上全面超越以DeepMind为代表的国际顶尖程度。论文第一做者、通用人工智能研究院张驰博士引见,这种不依赖海量标注数据、通过内部逻辑演化的径,这意味着中国科研团队正在从动化推理的逻辑焦点范畴实现环节手艺自研,锻炼极端依赖大规模的合成数据和高贵的计较资本。精准捕获到具备人类数学家审美尺度的高质量标题问题,我国自研的TongGeometry则展示出更高维度的智能:不只是一个能满分交卷的“劣等生”,处理近25年所有的奥数几何难题。
