字节跳动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 announcement follows Google's July 2024 claim that its AlphaProof and AlphaGeometry 2 models earned a silver medal ...

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

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

This marks a historic milestone for the Israeli mathematics team at the 66th IMO, an event founded in 1959. The Israeli ...

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

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

Artificial intelligence models developed by Google’s DeepMind team and OpenAI have a new accolade they can add to their list ...

VTV.vn - Vietnamese students won two golds, three silvers, and one bronze at the 66th International Mathematical Olympiad (IMO) in 2025 in Queensland, Australia from July 10-20. Licence No.

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