中国研究人员开发的TongGeometry系统不仅在解题方面超越美国竞争对手，还能生成数学问题，其中三道问题于2024年出现在中国国家队选拔考试和美国顶级奥林匹克竞赛中。
北京通用人工智能研究院和北京大学的研究人员开发了TongGeometry系统，该系统在几何问题解决上超越了美国竞争对手，如谷歌DeepMind的AlphaGeometry。它不仅能解题，还能生成问题，展示了更高级的数学能力。开发人员表示，TongGeometry“更像是一位教练，既设计训练问题，又指导解题策略，而不是仅仅解给定问题的学生”。系统基于196道过去的奥林匹克几何问题，生成67亿道需要辅助构造的几何问题。其中三道生成的问题于2024年被用于中国国家队选拔考试和美国Ersatz数学奥林匹克。该系统在NVIDIA RTX 4090 GPU上运行，并在《自然机器智能》杂志上发表。纽约大学的研究也参与其中。这标志着中国AI在国际数学奥林匹克领域的进步，超越了现有模型的局限。
由 AI 报道 AI 生成的图像
Chinese mathematicians Deng Yu and Wang Hong received the Fields Medals at the opening ceremony of the 2026 International Congress of Mathematicians in Philadelphia on Thursday, marking the first time Chinese mathematicians have won the award.
Zhipu AI launched its GLM-5.2 large language model and ZCode platform on June 16. The release positions the Chinese firm closer to leading American AI systems in coding and cybersecurity tasks.
由 AI 报道
A Harvard mathematician has used artificial intelligence to disprove a long-standing problem in algebra that experts had spent decades trying to prove true. Levent Alpöge announced the finding on social media on 19 July with a short counterexample.
A basic AI prompt has disproved the Dinitz-Garg-Goemans conjecture, a 30-year-old problem in graph theory. Dmitry Rybin used ChatGPT 5.6 Pro to find a counterexample after entering fewer than 60 words across four prompts. The process took 5.5 hours.
由 AI 报道
Omar Yaghi, who shared the 2025 Nobel Prize in Chemistry, has accepted a faculty position at Tsinghua University in Beijing to lead a new artificial intelligence research institute.