外媒:中国的人工智能系统在国际数学奥林匹克竞赛(IMO)级别的几何问题解决上超越

英文头条 2026-01-29 11:54:17

外媒:中国的人工智能系统在国际数学奥林匹克竞赛(IMO)级别的几何问题解决上超越了美国竞争对手,不仅解题时间缩短了一半以上,还使用了更简单的计算资源。 该系统名为TongGeometry,由北京通用人工智能研究所和北京大学的研究人员开发,它不仅能解题,还能生成数学问题,其中三个问题曾出现在2024年中国国家队选拔考试和美国顶级奥数竞赛中。 研究人员在《自然机器智能》杂志上表示,TongGeometry通过原理性树搜索发现、提出并证明IMO级别的几何问题,其功能更像是教练,既设计训练问题又指导解题策略,而非仅仅是解题的学生。该系统基于196道过往奥数几何问题,生成了67亿个需要辅助构造的几何问题。

0 阅读:151

评论列表

用户10xxx22

用户10xxx22

1
2026-01-29 17:31

北大![点赞][点赞][点赞]

英文头条

英文头条

感谢大家的关注