Have you ever wondered whether mathletes can go pro? Since 1959, the answer has been “yes” – with the height of achievement and prestige being at the International Mathematical Olympiad (IMO). Every ...

Current AI models struggle to solve research-level math problems, with the most advanced AI systems we have today solving just 2% of the hundreds of challenges faced. Mathematicians have stumped the ...

Add Popular Science (opens in a new tab) More information Adding us as a Preferred Source in Google by using this link indicates that you would like to see more of our content in Google News results.

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

In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And while the story of Tao's breakthrough is promising, the problem isn't ...

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

Penn Engineers have developed a new way to use AI to solve inverse partial differential equations (PDEs), a particularly challenging class of mathematical problems with broad implications for ...

In math, Algebra 1 is a make-or-break course. The class is the gateway to high school math, and struggling to complete it can close off those higher-level pathways—and even jeopardize students’ ...