中国研究人员开发的TongGeometry系统不仅在解题方面超越美国竞争对手，还能生成数学问题，其中三道问题于2024年出现在中国国家队选拔考试和美国顶级奥林匹克竞赛中。
北京通用人工智能研究院和北京大学的研究人员开发了TongGeometry系统，该系统在几何问题解决上超越了美国竞争对手，如谷歌DeepMind的AlphaGeometry。它不仅能解题，还能生成问题，展示了更高级的数学能力。开发人员表示，TongGeometry“更像是一位教练，既设计训练问题，又指导解题策略，而不是仅仅解给定问题的学生”。系统基于196道过去的奥林匹克几何问题，生成67亿道需要辅助构造的几何问题。其中三道生成的问题于2024年被用于中国国家队选拔考试和美国Ersatz数学奥林匹克。该系统在NVIDIA RTX 4090 GPU上运行，并在《自然机器智能》杂志上发表。纽约大学的研究也参与其中。这标志着中国AI在国际数学奥林匹克领域的进步，超越了现有模型的局限。
由 AI 报道 AI 生成的图像
中国工业和信息化部部长李乐成表示，2025年中国核心人工智能产业产值超过1.2万亿元人民币（1650亿美元），从事该领域的企业超过6200家。此言于全国人大第四次会议开幕后提出，凸显政府推动技术升级以支持经济增长的努力。
A new AI math startup called Axiom has reportedly cracked four long-standing mathematical problems, demonstrating advances in artificial intelligence reasoning. The company's AI addressed challenges in areas like algebraic geometry and number theory that had puzzled mathematicians for years. This development highlights the growing capabilities of AI in tackling complex academic puzzles.
由 AI 报道
在北京AGI-Next峰会上，阿里巴巴AI科学家林军阳警告称，中国在未来3至5年内超越美国人工智能的机会不足20%，原因是资源限制。他强调，美国公司如OpenAI在下一代研究中投入巨额计算资源，而中国仅勉强满足日常需求。
中国人工智能先驱商汤科技正利用其计算机视觉根基，引领AI向多模态系统和实体智能转型，以期在生成式AI时代重振旗鼓。公司联合创始人兼首席科学家林达华表示，这种策略类似于谷歌的做法，从视觉能力入手逐步扩展到语言等多模态系统。
由 AI 报道
Google has released Gemini 3.1 Pro, an updated version of its flagship AI model, emphasizing improvements in problem-solving and reasoning. The model is available in preview for developers and consumers starting today. It builds on the Gemini 3 release from November.
Experts foresee 2026 as the pivotal year for world models, AI systems designed to comprehend the physical world more deeply than large language models. These models aim to ground AI in reality, enabling advancements in robotics and autonomous vehicles. Industry leaders like Yann LeCun and Fei-Fei Li highlight their potential to revolutionize spatial intelligence.
由 AI 报道
阿里巴巴主席乔·蔡崇信将中国在人工智能领域的优势归因于电力基础设施投资和开源模型。他表示，这种巨额投资为能源密集型AI行业提供了充足供应和低成本基础。中国工业深度突显了AI应用的巨大潜力。