国产AI解题首获国际顶尖数学竞赛大奖
IT之家1月27日消息，科技日报报道，我国科研团队近日成功研发出全球首个兼具自主出题与自动解题双重能力的通用人工智能系统——“通模型”。相关研究成果已于1月26日在《自然·机器智能》期刊上正式发表。
论文第一作者、北京通用人工智能研究院张驰博士介绍，TongGeometry 能够从浩如烟海的空间组合中，精准捕捉到那些具备人类数学家审美标准的高质量题目。这在国际上首次实现了从“模仿解题”到“自主创造”的范式转变。
在性能表现上，TongGeometry 展现了国产原创技术的卓越性。相比 AlphaGeometry 需要庞大的算力集群，TongGeometry 仅需单张消费级显卡即可在最多38分钟内，解决近25年来所有的奥数几何难题，其推理效率和准确率均达到了世界顶尖水平。
此外，该系统通过创新的“规范化表示”技术，将搜索空间压缩了几个数量级，有效解决了传统方法中路径爆炸的难题。
目前，TongGeometry 的原创能力已得到专业学术界和竞赛圈的认可。系统自主生成的3道几何新题，已正式入选2024年全国中学生数学联赛及美国精英奥赛，这是AI原创题目首次进入高规格人类数学竞赛。
游乐网为非赢利性网站，所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系youleyoucom@outlook.com。
同类文章
8G显存大模型硬件配置指南与可运行模型推荐
想在本地部署大语言模型，但只有一张8GB显存的显卡？这完全可行。关键在于精准选择模型与量化方案，在有限的硬件资源下实现最优性能。本文将为您详细解析适配8G显存的各类主流模型及其具体部署运行方案。 一、4-bit量化模型部署指南 对于RTX 3060、RTX 4060等主流消费级显卡，4-bit量化是
Canva证书制作教程：培训结业奖状DIY模板免费下载
制作一份兼具专业质感与视觉美感的证书，其实可以非常高效。借助Canva可画这类在线设计平台，即便是零基础的新手，也能轻松完成从模板挑选到成品导出的全流程。接下来，我们将详细解析使用Canva可画制作专业级证书的五个关键步骤。 一、选用专业证书模板 好的开始是成功的一半。在Canva可画，第一步变得异
Perplexity Pages页面不被收录如何检查Robots与SEO设置
许多用户在通过Perplexity Pages发布内容后，常常遇到一个关键问题：页面已经成功发布，但在Google、Bing等主流搜索引擎中却无法被搜索到。这通常并非搜索引擎的延迟，而是页面在技术配置或SEO设置上存在障碍，导致爬虫无法顺利抓取和索引。 简单来说，导致页面无法被收录的核心原因通常集中
Harness 是 AI Agent 的未来还是辅助工具
Harness，作为AI工程化进程中的关键组件，正成为提升大模型实际效能的核心手段。它要解决的核心痛点，是“模型具备潜力，但输出不稳定”。在当前阶段，Harness不可或缺，它能让能力尚不完善的模型可靠地投入生产环境。这好比一副可靠的支架——在腿部力量完全恢复之前，它是行走的必备支持。 近期GitH
千问AI数学解题能力实测 辅导作业实用指南
辅导孩子数学作业时遇到难题怎么办？别担心，现在有一位聪明的“AI家教”可以随时求助——千问AI。它不仅能提供详细的解题步骤，还能解析核心概念、梳理知识脉络，让数学学习过程更加清晰高效。关键在于，你需要掌握与它高效沟通的方法。 一、输入完整题目并明确需求 想要获得AI的精准解答，首先必须提供清晰的“问
- 日榜
- 周榜
- 月榜
1
2
3
4
5
6
7
8
9
10
相关攻略
2015-03-10 11:25
2015-03-10 11:05
2021-08-04 13:30
2015-03-10 11:22
2015-03-10 12:39
2022-05-16 18:57
2025-05-23 13:43
2025-05-23 14:01
热门教程
- 游戏攻略
- 安卓教程
- 苹果教程
- 电脑教程
热门话题
