国产AI破解高规格数学竞赛题,入选全球首创成果
信息来源:科技日报
免费影视、动漫、音乐、游戏、小说资源长期稳定更新! 👉 点此立即查看 👈
○ 科技日报记者 杨雪
我国科研团队成功研发出全球首个兼具自主出题与自动解题双重能力的通用人工智能系统——“通模型”(TongGeometry)。相关研究成果已于26日在《自然·机器智能》期刊正式发表。
今年初,DeepMind发布的AlphaGeometry系统展示了人工智能在解题方面的巨大潜力。然而,AlphaGeometry本质上是一个“被动解题者”,其训练过程极度依赖大规模合成数据以及昂贵的计算资源。相比之下,我国自主研发的TongGeometry则展现出更高维度的智能:它不仅能够像“优等生”一样交出满分答卷,更能担当“出题名师”的角色,创造结构优美、构思新颖的全新题目。
论文第一作者、北京通用人工智能研究院张驰博士介绍,TongGeometry能够从浩如烟海的空间组合中,精准捕捉到那些符合人类数学家审美标准的高质量题目。这在国际上首次实现了从“模仿解题”到“自主创造”的范式转变。
性能表现方面,TongGeometry展现了显著的国产原创技术优势。相较于AlphaGeometry需要庞大的算力集群支持,TongGeometry仅需一张消费级显卡,便可在最多38分钟内,解决近25年来所有的奥数几何难题,其推理效率和准确率均达到世界顶尖水准。此外,该系统通过创新的“规范化表示”技术,将搜索空间压缩了几个数量级,有效解决了传统方法中的路径爆炸难题。
目前,TongGeometry的原创能力已获得专业学术界和竞赛圈的认可。系统自主生成的3道几何新题,已正式入选2024年全国中学生数学联赛(北京赛区)以及美国精英奥赛,这标志着AI原创题目首次进入高标准人类数学竞赛。
这一成果标志着中国科研团队在自动化推理的逻辑核心领域实现了关键技术自主研发,并在性能与功能多样性上全面超越了以DeepMind为代表的国际顶尖水平。
相关攻略
人民网北京1月28日电 (记者赵竹青)1月26日,由北京通用人工智能研究院(BIGAI)、北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院以及北京大学武汉人工智能研究院联合组成的
来源:科技日报◎ 科技日报记者 杨雪我国科研团队开发出全球首个同时具备自主出题(Proposing)和自动解题(Solving)双重能力的通用人工智能系统——“通矩模型”(TongGeometry)
IT之家 1 月 27 日消息,据科技日报报道,我国科研团队开发出全球首个同时具备自主出题(Proposing)和自动解题(Solving)双重能力的通用人工智能系统 ——“通矩模型”(TongGe
7月30日消息,2025年国际数学奥林匹克竞赛(IMO 2025)传来捷报,华为小艺AI竞赛Agent首次参赛便斩获银牌,展现出AI在高端数学领域的突破性进展。华为介绍称,这款AI竞赛系统独创“双脑
热门专题
热门推荐
在《异环》这款超自然都市开放世界RPG中,探索与收集是核心玩法之一。游戏内隐藏着许多特殊成就,“梦里什么都有”便是其中一个需要达成特定条件才能触发的趣味彩蛋。如果你正在寻找这份成就的完成方法,本攻略将为你提供详尽的步骤指引。 异环梦里什么都有成就攻略 该成就的触发位置位于卷叶榕大道区域,具体地点在维
洛克王国本周的领地试炼活动迎来更新,本次挑战的舞台是麦克达克领地。许多玩家都在寻找高效通关的方法,本文将为你带来详细的打法攻略与阵容配置思路。 洛克王国麦克达克领地试炼通关攻略详解 要成功通过麦克达克领地试炼,关键在于合理的属性克制与技能组合。下面分享一套实战有效的通关方案。 方案一:格斗系强攻阵容
Steam社区市场迎来全面革新,旨在优化海量虚拟物品的交易体验。更新包括更直观的物品展示、自动生成专属图片以及强大的动态筛选功能。所有接入市场的游戏均可受益,浏览与搜索效率显著提升,整体操作更加流畅便捷。
Perplexity支持自定义键盘快捷键,用户可在设置中为常用功能绑定组合键。浏览器快捷键可辅助清空输入框或切换结果。Windows用户可利用PowerToys命令面板全局快速启动搜索。此外,通过创建并调用Profile指令前缀,能一键加载特定AI角色与搜索约束。
设计沉浸式文字游戏需构建“角色-规则-反馈”闭环:以强约束锁定角色与环境,嵌入可验证规则(如数字阈值),确保互动有据。设计多路径反馈链,使选择触发唯一剧情,保持规则一致。注入感官细节提升临场感,并通过隐式状态追踪让游戏世界持续变化。





