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

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

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.

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

Google's DeepMind and OpenAI's AI models achieved gold-medal scores at the International Mathematical Olympiad, showcasing advanced mathematical capabilities in natural language. Managed in ...

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