日前,我国科研团队在国际顶级学术期刊《自然·机器智能》上发表重要成果,推出全球首个同时具备自主出题和自动解题能力的通用人工智能系统——"通矩模型"。
这一突破性进展标志着我国在人工智能基础理论研究领域取得重要成就,也为数学竞赛、教育创新等领域开辟了新的可能性。
从问题导向看,长期以来,人工智能在数学领域的应用主要集中于解题能力,即被动地回答人类提出的问题。
如何让AI系统具备主动出题的能力,创造出符合人类审美标准和数学规范的高质量题目,一直是学术界的难题。
通矩模型的出现正是对这一问题的直接回应。
北京通用人工智能研究院张驰博士介绍,该系统能够从复杂的空间组合中精准捕捉具备人类数学家审美标准的题目,这在国际上首次实现了从"模仿解题"到"自主创造"的范式转变。
从技术创新看,通矩模型展现了显著的国产原创技术优势。
相比国际同类系统需要庞大的算力集群才能完成任务,通矩模型仅需单张消费级显卡如RTX 4090即可运行。
在性能指标上,该系统最多用38分钟就能解决近25年来所有的奥数几何难题,其推理效率和准确率均达到世界顶尖水平。
这一成就的取得,得益于研究团队创新性地引入了"规范化表示"技术,将搜索空间压缩了几个数量级,有效解决了传统方法中存在的路径爆炸问题,大幅提升了系统的运算效率。
从应用价值看,通矩模型的原创题目已被纳入中美数学竞赛,这充分说明其生成的题目不仅在技术上达到了先进水平,更在实际应用中获得了权威认可。
这意味着AI生成的数学题目已经可以与人类专家设计的题目相提并论,甚至在某些方面具有独特价值。
这对于数学教育的个性化、竞赛题库的丰富化都具有重要意义。
从发展前景看,通矩模型的成功为人工智能在其他学科领域的创新应用提供了借鉴。
几何问题的复杂性和抽象性在数学领域属于较高层次,通矩模型在此领域的突破表明,通用人工智能系统在处理高难度创意任务上已具备相当能力。
这为AI在物理、化学、工程设计等需要创新思维的领域的应用奠定了基础。
同时,该系统的高效率特点也为AI技术的广泛应用降低了成本门槛,有利于推动AI技术的民主化和普及化。
从“会做题”到“会出题”,是数学智能跨越式提升的重要标志。
把关键能力做实做强,不仅在于刷新性能指标,更在于把可靠性、可解释性与公平性纳入同等重要的位置。
以更扎实的基础研究、更严谨的应用规范和更开放的协同机制推动技术向善向实,方能让创新成果更好服务教育进步与科技发展。