A Google DeepMind researcher and OpenAI’s former CTO are posing questions about the validity of OpenAI’s claim about its gold-medal score. OpenAI’s latest model has achieved a gold-level score at the ...

AlphaProof showed its prowess on questions from this year’s Mathematical Olympiad — a step in the race to create substantial proofs with artificial intelligence. After beating humans at everything ...

OpenAI said it, too, had built a system that achieved similar results. By Cade Metz Reporting from San Francisco An artificial intelligence system built by Google DeepMind, the tech giant’s primary ...

Watch out, nerdy high schoolers, AlphaGeometry is coming for your mathematical lunch. Credit...Christian Gralingen Supported by By Siobhan Roberts Reported from Stanford, Calif. For four years, the ...

The International Mathematical Olympiad (IMO) is probably the most prestigious competition for preuniversity students. Every year students from around the world compete for its coveted bronze, silver ...

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

This marks a historic milestone for the Israeli mathematics team at the 66th IMO, an event founded in 1959. The Israeli contingent competed against 639 students, demonstrating unprecedented success.

Artificial intelligence models developed by Google’s DeepMind team and OpenAI have a new accolade they can add to their list of achievements: they have defeated some high schoolers in math. Both ...

The students participating in the annual International Math Olympiad (IMO) represent some of the most talented young computational minds in the world. This year, they faced down a newly enhanced array ...

MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems ...