国产AI创全球首例:自主出题入选高规格数学竞赛

2天前
我国科研团队成功研发出全球首个兼具自主出题与自动解题能力的通用人工智能系统——“通矩模型”(TongGeometry),相关成果于26日在《自然·机器智能》发表。


◎ 科技日报记者 杨雪


2024年初,DeepMind的AlphaGeometry虽展现AI解题潜力,但本质是“被动解题者”,训练依赖大规模合成数据与昂贵算力。而我国自主研发的TongGeometry实现更高维度智能:既是能满分解题的“优等生”,更是可创作优质新题的“出题名师”。


论文第一作者、北京通用人工智能研究院张驰博士介绍,TongGeometry能从海量空间组合中,精准捕捉符合人类数学家审美标准的高质量题目,国际上首次完成从“模仿解题”到“自主创造”的范式转变。


性能上,TongGeometry凸显国产原创技术优势。相比AlphaGeometry需庞大算力集群,它仅用单张消费级显卡(如RTX 4090),最多38分钟即可解决近25年所有奥数几何难题,推理效率与准确率达世界顶尖水平。此外,该系统通过创新“规范化表示”技术,将搜索空间压缩数个数量级,有效解决传统方法的路径爆炸问题。


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


这一成果标志着中国科研团队在自动化推理逻辑核心领域实现关键技术自研,且在性能与功能多样性上全面超越以DeepMind为代表的国际顶尖水平。


更多详情


↓↓↓


我国在通用人工智能逻辑推理领域实现重大跨越


原标题:《全球首个!国产AI出的题被收入高规格人类数学竞赛》


本文仅代表作者观点,版权归原创者所有,如需转载请在文中注明来源及作者名字。

免责声明:本文系转载编辑文章,仅作分享之用。如分享内容、图片侵犯到您的版权或非授权发布,请及时与我们联系进行审核处理或删除,您可以发送材料至邮箱:service@tojoy.com