中国AI在美数学奥林匹克几何竞赛中再创佳绩

中国研究人员开发的TongGeometry系统不仅在解题方面超越美国竞争对手,还能生成数学问题,其中三道问题于2024年出现在中国国家队选拔考试和美国顶级奥林匹克竞赛中。

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

相关文章

Photo illustration of Google executives unveiling the Gemini 3 AI model and Antigravity IDE in a conference setting.
AI 生成的图像

Google unveils Gemini 3 AI model and Antigravity IDE

由 AI 报道 AI 生成的图像

Google has released Gemini 3 Pro, its latest flagship AI model, emphasizing improved reasoning, visual outputs, and coding capabilities. The company also introduced Antigravity, an AI-first integrated development environment. Both are available in limited preview starting today.

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在下一代研究中投入巨额计算资源,而中国仅勉强满足日常需求。

In a comparative evaluation of leading AI models, Google's Gemini 3.2 Fast demonstrated strengths in factual accuracy over OpenAI's ChatGPT 5.2, particularly in informational tasks. The tests, prompted by Apple's partnership with Google to enhance Siri, highlight evolving capabilities in generative AI since 2023. While results were close, Gemini avoided significant errors that undermined ChatGPT's reliability.

由 AI 报道

中国工业和信息化部副部长张云明在1月22日新闻发布会上表示,2025年中国人工智能企业数量超过6000家,核心产业规模预计超1.2万亿元人民币。该部门强调,先进制造和AI驱动产业为经济增长提供了强劲动力,推动制造业价值增加5.9%。

The US Pentagon has unveiled a new artificial intelligence platform built on Google's Gemini model. This development equips the military with advanced AI tools. Yet, reactions are mixed, with some expressing unease about its implications.

由 AI 报道

Chinese GPU developer Moore Threads has introduced its Huagang architecture, promising significant advances in gaming and AI performance. Set for a 2026 launch, the design targets self-reliance in semiconductors amid global export curbs. While details remain sparse, the company highlighted ambitious benchmarks for upcoming products.

 

 

 

此网站使用 cookie

我们使用 cookie 进行分析以改进我们的网站。阅读我们的 隐私政策 以获取更多信息。
拒绝