中国AI突破奥数几何:首次实现自主出题
北京1月28日电 记者赵竹青报道,1月26日,北京通用人工智能研究院(BIGAI)联合北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院及北京大学武汉人工智能研究院共同组成的科研团队,成功研发出“基于引导树搜索的奥数几何问题提出与解答系统”,相关成果已发表于国际顶级学术期刊《自然·机器智能》。
免费影视、动漫、音乐、游戏、小说资源长期稳定更新! 👉 点此立即查看 👈
团队自主研发的“通矩模型”(TongGeometry)是全球首个同时具备自主出题和自动解题双重能力的通用人工智能系统。这一突破性成果标志着中国科研团队在自动化推理这一逻辑核心领域实现了关键技术自主创新,为推动人工智能辅助数学研究及AI赋能教育迈出了坚实一步。
长期以来,国际数学奥林匹克竞赛被视为检验人工智能逻辑推理能力的“试金石”。2024年初,由DeepMind开发的AlphaGeometry曾引起全球轰动,展现了AI在解决高难度几何问题方面的巨大潜力。然而,AlphaGeometry本质上是一个“被动解题者”,其训练过程极度依赖海量合成数据与昂贵的算力资源。相比之下,我国科研团队自主研发的“通矩模型”不仅仅是一位能拿满分的“优等生”,更是一位能够创造优美、新颖题目的“出题名师”。
该研究论文的第一作者、北京通用人工智能研究院张驰博士介绍道:“我们在研究中发现了一个深刻的对称性。当一个几何命题的证明难度显著高于其构造复杂度时,它便具备了作为奥赛题目的‘审美价值’。通过对这种对称关系的建模,‘通矩模型’能够从浩如烟海的空间组合中,精准捕捉到那些具备人类数学家审美标准的高质量题目。这在全球范围内尚属首次,成功实现了从‘模仿解题’到‘自主创造’的范式转变。”
在具体性能上,“通矩模型”同样展现了显著的效率优势。相比AlphaGeometry需要庞大的算力集群支持,“通矩模型”仅需单张消费级显卡(如RTX 4090)即可在最多38分钟内,解决近25年来的所有国际数学奥林匹克(IMO)几何难题,其推理效率和准确率均达到世界顶尖水平。此外,该系统通过创新的“规范化表示”技术,将搜索空间压缩了数个数量级,有效解决了传统方法中常见的路径组合爆炸问题。
目前,“通矩模型”的原创出题能力已在实际竞赛中得到验证与认可。该系统自主生成的3道几何新题,已正式入选2024年全国中学生数学联赛(北京赛区)及美国精英奥赛(Ersatz Math Olympiad)的题目库,这标志着由AI原创的竞赛题目首次进入了高水平的人类数学竞赛舞台。
“‘通矩模型’的意义远超数学竞赛本身。”论文共同通讯作者、北京大学心理与认知科学学院助理教授朱毅鑫表示,“它通过‘小数据、大任务’的范式转换,证明了人工智能可以不再单纯依赖‘暴力计算’,而是通过理解逻辑底层的对称性与美感,实现自主的科学发现。这对于未来具身智能在复杂环境下的逻辑决策、自动化定理证明以及个性化教育等领域,都具有深远的战略价值。”
相关攻略
为纪念谷超豪先生百年诞辰,5月10日将在上海科技馆举办专题科普讲座。李大潜院士将回顾谷超豪从数学少年成长为学科开拓者的历程,展现其科学精神传承。沈维孝院士则以多项式求根为例,引领听众领略数学的深邃与精巧。这是一次与顶尖学者对话、感受数学魅力的难得机会。
当我们开车在高速公路上行驶时,最怕遇到的就是车子突然失控,方向盘变得异常敏感,稍微一动就可能冲出车道。这种情况在人工智能的训练过程中也经常发生,特别是在训练那些能够进行推理和对话的大型语言模型时。来
这项由威斯康星大学麦迪逊分校研究团队完成的突破性研究,发表于2026年3月的《机器学习》期刊,论文编号为arXiv:2603 20538v1。有兴趣深入了解的读者可以通过该编号查询完整论文。这项研究
这项由高通AI研究院领导的突破性研究发表于2026年3月的预印本论文,论文编号为arXiv:2603 08462v1。有兴趣深入了解的读者可以通过该编号查询完整论文。这项研究解决了一个让所有AI研究
3月31日消息,近日,比利时布鲁塞尔自由大学(VUB)数据分析实验室发布重磅研究成果,证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5 2(Thinking)
热门专题
热门推荐
2026年4月9日,阿里云旗下的AI开发平台“百炼”正式发布了名为“记忆库”的全新功能。这项功能的核心价值,在于为AI Agent赋予跨会话的长期记忆能力,旨在彻底解决多轮对话中信息丢失与遗忘的行业核心痛点。目前,该功能正处于限时免费公测阶段。官方性能数据显示,其在关键指标上表现突出:记忆检索性能大
今天外汇市场的表现,可以说是在平静中透着一丝韧性。北京时间下午四点半,在岸软妹币对美元汇率官方收盘价定格在6 7946。 这个数字背后有两个值得玩味的对比:一是比起前一个交易日的官方收盘价,小幅上扬了8个基点;二是相较于昨晚夜盘的收盘价,则回升了17个基点。虽然波动幅度不大,但这种日内低开后的企稳回
《遥遥西土》北境区域共有十个墓碑等待收集。首个墓碑位于地图北部悬崖下方,玩家需跳至崖底才能发现,其旁另有一座墓碑作为参照。具体位置与探索方法可参考相关视频攻略。
归环好彩骰”是游戏的核心机制,通过投掷骰子组合牌型获得奖励。它将叙事、战斗与成长深度整合,玩家的选择与骰点结果直接影响剧情走向和战斗效果。机制简单易上手,无时间压力,提供即时强反馈。游戏结合“万相卡”与角色流派,支持多样策略,平衡随机性,提升了内容探索深度与复用价值。
《植物大战僵尸》抽卡重置版已上线,核心玩法融合塔防与抽卡。游戏包含七阶卡池系统,顶级卡牌稀缺。新增超百种原创植物,僵尸行为更复杂,关卡设计多样。随机植物模式增加变数,roguelike元素提升重复可玩性。版本持续更新,社区活跃。





