The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

A brainy riddle that's stumped mathematicians since World War II appears to have been cracked via artificial intelligence. OpenAI says one of its AI models has solved the "unit distance problem," a ...

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

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.

Students with learning disabilities and other challenges may find word problems difficult even when they know the math, so ...

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

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