Chinese AI goes next level in geometry at a top US maths Olympiad | 中国AI在美国顶级数学奥林匹克中几何能力迈上新台阶

一款由中国研究团队开发的AI系统在国际数学奥林匹克（IMO）几何题的解决中，表现优于美国竞争对手。该系统不仅用更少的时间和更简单的计算资源解决问题，还能生成新的数学题目，显示出强大的创造能力。

据《自然机器智能》杂志报道，这一名为“TongGeometry”的神经符号系统，能够通过树状搜索方法发现、提出并证明IMO级别的几何题。该系统还生成了多达67亿个需要辅助作图的几何问题，其中三道题已出现在中国国家队的资格考试及2024年美国顶级奥林匹克比赛中。研究人员表示，TongGeometry更像一位既能设计训练题目，也能指导解题策略的“教练”。

via SCMP Full Text Feed