中国研究人员开发的TongGeometry系统不仅在解题方面超越美国竞争对手，还能生成数学问题，其中三道问题于2024年出现在中国国家队选拔考试和美国顶级奥林匹克竞赛中。
北京通用人工智能研究院和北京大学的研究人员开发了TongGeometry系统，该系统在几何问题解决上超越了美国竞争对手，如谷歌DeepMind的AlphaGeometry。它不仅能解题，还能生成问题，展示了更高级的数学能力。开发人员表示，TongGeometry“更像是一位教练，既设计训练问题，又指导解题策略，而不是仅仅解给定问题的学生”。系统基于196道过去的奥林匹克几何问题，生成67亿道需要辅助构造的几何问题。其中三道生成的问题于2024年被用于中国国家队选拔考试和美国Ersatz数学奥林匹克。该系统在NVIDIA RTX 4090 GPU上运行，并在《自然机器智能》杂志上发表。纽约大学的研究也参与其中。这标志着中国AI在国际数学奥林匹克领域的进步，超越了现有模型的局限。
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.