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.
TL;DR: Google's Gemini Deep Think AI achieved a gold-medal performance at the International Mathematical Olympiad by solving five of six advanced problems within the 4.5-hour limit. Its parallel ...
An AI from Google DeepMind has achieved a silver medal score at this year’s International Mathematical Olympiad (IMO), the first time any AI has made it to the podium. The IMO is considered the ...
GPT 5.4 Pro offers several other innovations. Open AI claimed that it was the first version that can do things on computers, ...
Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...
Live Science on MSN
'Proof by intimidation': AI is confidently solving 'impossible' math problems. But can it convince the world's top mathematicians?
AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?
24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results