GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.
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 ...
Math is the sum of its parts, and it adds on itself. What does that mean? It means that multiplication is just repeated addition. And that mastering the times tables will help students simplify ...
Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.
AI thrives on data but feeding it the right data is harder than it seems. As enterprises scale their AI initiatives, they face the challenge of managing diverse data pipelines, ensuring proximity to ...
Here’s a simple-sounding problem: Imagine a circular fence that encloses one acre of grass. If you tie a goat to the inside of the fence, how long a rope do you need to allow the animal access to ...
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 ...
Every year, thousands of college students from across the U.S. and Canada give up a full Saturday before finals begin to take a notoriously difficult, 6-hour math test — and not for a grade, but for ...
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 ...
Families might be wondering why their child's math classroom looks so different from what they remember in school. Why aren't teachers putting students on the spot and getting them to prove that they ...
We've all been there: staring at a math test with a problem that seems impossible to solve. What if finding the solution to a problem took almost a century? For mathematicians who dabble in Ramsey ...