Google DeepMind’s AlphaProof system scored at a silver-medal level when tested against the 2024 International Mathematical ...

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...

The International Math Olympiad (IMO) is a brainy battleground where the world’s most talented teenage mathematicians wrestle with devilishly difficult math problems. It’s long been considered a ...

Neither of the AI models scored full marks — unlike five young people at the International Mathematical Olympiad (IMO), a prestigious annual competition where participants must be under 20 years old.

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

OpenAI's latest model solved five out of six problems on the International Math Olympiad exam. OpenAI CEO Sam Altman called it "a significant marker of how far AI has come over the past decade." AI ...

Google DeepMind, Alphabet Inc.’s artificial intelligence research division, said it has made strides in solving complex math problems, an area that remains challenging for today’s AI programs. On ...

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...