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

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

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

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

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

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

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

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

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

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.

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