字节跳动Seed团队近日发布了一款名为Seed-Prover的创新型自动定理证明系统，并在2025年国际数学奥林匹克（International Mathematical Olympiad, ...

其中邓哲文和徐祺铭已连续两届入选国家队。自 1985 年中国队首次参加 IMO 以来，已有 17 位选手连续两届入选国家队，包括北京大学助理教授韦东奕，他曾在 2008、2009 年两次获得满分。

The Gemini Deep Think AI model’s result in the International Mathematical Olympiad represents a huge leap in math ...

The team’s haul, including one Champion title, 10 golds, seven silvers, and four bronzes, surpassed expectations. Vietnam, ...

The announcement follows Google's July 2024 claim that its AlphaProof and AlphaGeometry 2 models earned a silver medal ...

DeepMind's AI has made remarkable progress in mathematical reasoning within a span of just one year.  After earning a silver ...

The Gemini 2.5 Deep Think released to users is not that same competition model, rather, a lower performing but apparently faster version.

Humans beat AI programs made by Google and OpenAI at an international mathematics competition, but the technology shows some ...

Two AI models have achieved gold medal standard for the first time in a prestigious competition for young mathematicians – ...

Witthaya Prasongsin / Moment / OpenAI announced its unreleased reasoning model won the gold at the International ...

Amidst claims of AI triumphing in math, Fields Medalist Terence Tao cautions against equating AI's 'solutions' to ...