The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

AI solved a math problem that stumped experts for 80 years, revealing deeper lessons about human cognition, focus, and ...

Global math archive: MIT and collaborators launched MathNet, the largest Olympiad-level problem collection, spanning 47 countries, 17 languages, and four decades of competitions. Thinking like Fermi: ...

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...

Mathematicians excel at handling complexity and uncertainty. Mathematical reasoning strategies aren't just useful for dilemmas involving numbers. We can apply math mindsets to improve our approach to ...

We’re seeing some new developments in AI models that are shedding light on one of the technology’s most prominent gaps – its relative inability to do math well. Some experts note that AI is ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

Math is a problem — one that a relentless onslaught of testing has not solved. Some assume kids are the ones failing, but it’s time to acknowledge that it’s our tests and the curriculum they determine ...

Many states have laws aimed at improving literacy, but few are putting the same weight behind targeting math instruction. A recent study by NWEA found that middle and elementary school students’ math ...

For high school students interested in science, engineering or research, national competitions can be excellent opportunities ...