国产AI首次解题入选国际顶尖数学竞赛
IT之家1月27日消息，据科技日报报道，我国科研团队近日成功研发出全球首个同时具备自主出题与自动解题双重能力的通用人工智能系统——"通几模型”（TongGeometry）。相关研究成果已于1月26日发表于国际顶级学术期刊《自然·机器智能》。
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
论文第一作者、北京通用人工智能研究院的张驰博士介绍，通几模型能够从浩如烟海的空间组合中，精准捕捉到那些符合人类数学家审美标准的高质量题目。这标志着在国际上首次实现了从“模仿解题”到“自主创造”的范式转变。
在性能表现上，通几模型展现了国产原创技术的卓越性。相比同类模型需要庞大的算力集群支持，通几模型仅需一张消费级显卡（例如RTX 4090），即可在最多38分钟内，解决近25年来所有的奥数几何难题，其推理效率和准确率均达到世界顶尖水平。
此外，该系统通过创新的“规范化表示”技术，将几何搜索空间压缩了几个数量级，有效解决了传统方法中常见的路径爆炸问题。
目前，通几模型的原创能力已得到专业学术界和竞赛圈的广泛认可。系统自主生成的3道几何新题，已正式入选2024年全国中学生数学联赛（北京赛区）及美国精英奥赛（Ersatz Math Olympiad），这标志着AI原创题目首次进入高规格人类数学竞赛。
相关攻略
人民网北京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角色与搜索约束。
设计沉浸式文字游戏需构建“角色-规则-反馈”闭环：以强约束锁定角色与环境，嵌入可验证规则（如数字阈值），确保互动有据。设计多路径反馈链，使选择触发唯一剧情，保持规则一致。注入感官细节提升临场感，并通过隐式状态追踪让游戏世界持续变化。