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

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

A Google DeepMind researcher and OpenAI’s former ​​CTO are posing questions about the validity of OpenAI’s claim about its ...

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.

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 ...

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

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

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.

Romanian student Eduard Florin Ștefan, aged 11, from the “Nicolae Titulescu” Secondary School in Caracal, won the gold medal ...