IT之家 3小时前
全球首个,国产AI出的题被收入高规格人类数学竞赛
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_keji1.html

 

IT 之家 1 月 27 日消息,据科技日报报道,我国科研团队开发出全球首个同时具备自主出题(Proposing)和自动解题(Solving)双重能力的通用人工智能系统 —— " 通矩模型 "(TongGeometry)。相关成果于 1 月 26 日发表于《自然 · 机器智能》。

论文第一作者、北京通用人工智能研究院张驰博士介绍,TongGeometry 能够从浩如烟海的空间组合中,精准捕捉到那些具备人类数学家审美标准的高质量题目。这在国际上首次实现了从 " 模仿解题 " 到 " 自主创造 " 的范式转变。

在性能表现上,TongGeometry 展现了国产原创技术优越性。相比 AlphaGeometry 需要庞大的算力集群,TongGeometry 仅需单张消费级显卡(如 RTX 4090)即可在最多 38 分钟内,解决近 25 年所有的奥数几何难题,其推理效率和准确率均达到世界顶尖水平。

此外,该系统通过创新的 " 规范化表示 " 技术,将搜索空间压缩了几个数量级,有效解决了传统方法中的路径爆炸问题。

目前,TongGeometry 的原创能力已得到专业学术界和竞赛圈的认可。系统自主生成的 3 道几何新题,已正式入选 2024 年全国中学生数学联赛(北京赛区)及美国精英奥赛(Ersatz Math Olympiad),这是 AI 原创题目首次进入高规格人类数学竞赛

IT 之家附论文链接:

宙世代

宙世代

ZAKER旗下Web3.0元宇宙平台

一起剪

一起剪

ZAKER旗下免费视频剪辑工具

相关标签

ai 人工智能 it之家 数学竞赛 北京
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论