在国际数学奥林匹克竞赛这一检验逻辑推理能力的"试金石"领域，我国科研团队取得里程碑式突破。
由北京通用人工智能研究院牵头，联合北京大学多所院所组成的攻关团队，创新研发出"基于引导树搜索的奥数几何问题提出与解答系统"，其核心成果"通矩模型"已获《自然·机器智能》期刊权威认证。
长期以来，国际学界将奥数几何视为衡量智能系统推理能力的标尺。
今年初，国外研究机构开发的解题系统虽展现较强能力，但其本质仍属依赖海量合成数据的"被动应答者"，且需消耗巨额算力资源。
相较之下，"通矩模型"通过独创的"规范化表示"技术，将搜索空间压缩数个数量级，从根本上破解了传统方法的路径爆炸难题。
技术分析显示，该系统具有三大显著优势：其一，突破性实现"命题-解题"闭环能力，可自主设计符合奥赛标准的新颖题型；其二，运算效率大幅提升，仅需单张RTX 4090显卡即可完成复杂推理；其三，解题准确率保持100%，对近25年IMO几何试题实现全覆盖破解。
该成果的取得源于我国在基础算法领域的持续积累。
研究团队负责人表示，系统创新性地融合认知心理学原理与机器推理技术，其"引导树搜索"架构模拟了人类数学家的思维过程。
这种跨学科研究方法，为人工智能与基础学科融合提供了示范样本。
教育界专家指出，此项技术将产生深远影响。
一方面可为竞赛训练提供智能化支持，另一方面其"出题"功能有望重塑数学教育模式，推动从"解题教学"向"思维培养"转型。
目前，团队正与多所重点中学开展教学实验，探索智能技术与素质教育的有机结合。
"通矩模型"的成功研发充分体现了中国科研团队在人工智能领域的创新能力和技术实力。
这一成果不仅是一项技术突破，更是中国在全球科技竞争中主动求变、勇于创新的生动体现。
随着该系统的进一步完善和应用推广，必将为人工智能赋能数学研究、优化教育方式、推动科技进步做出更大贡献，也将激励更多科研团队在自主创新的道路上砥砺前行。