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

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

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

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

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

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

The results marked the first time that AI systems crossed the gold-medal scoring threshold at the International Mathematical ...

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

Great news for South Africa following the biggest and most important mathematics competition in the world, the International ...

The Indian team secured the 7th position out of 110 countries at the 66th International Mathematical Olympiad (IMO) held in ...

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

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