OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to ...
In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...
The employment future looks bright for people with strong math skills. But among the nation’s K-12 students, that represents a small and dwindling demographic. What’s to blame for students’ poor math ...
The bat-and-ball problem is a famous math puzzle that more than half of people—even Harvard graduates—get wrong. It's ...
The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.