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