国产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竞赛系统独创“双脑
热门专题
热门推荐
惠普部分型号支持主板集成RAID功能,用户可在系统启动阶段进入RAID配置环境,完成磁盘阵列的创建与维护操作。1、 开机过程中,根据屏幕提示,同时按下 Ctrl + I 组合键,即
F5公司已发布解决方案指南,强烈建议各组织立即遵循最新缓解步骤。 美国网络安全和基础设施安全局(CISA)已将新披露的F5 BIG-IP系统漏洞纳入其已知已利用漏洞(KEV)目录,警告该漏洞正在真实
helium10 chrome插件怎么安装?helium10浏览器扩展安装故障排查解答在电商运营的世界里,helium10可是一款相当强大的工具。而它的chrome插件安装,对于很
3月29日消息,据报道,此前,许先生以所在公司名义花费85万元购置了一辆玛莎拉蒂,后续在苏州某玛莎拉蒂4S店完成维保及延保办理。2019年5月,该车行驶中突发熄火故障,送至该4S店检修后,店方告知需
幻兽帕鲁中的帕鲁农场充满了奇幻与趣味,吸引了众多玩家想要体验。那么,它该如何下载安装呢?接下来为大家详细介绍。首先,要确定你的设备系统是否支持。幻兽帕鲁目前支持多种主流移动设备系统





