At first glance, the problem seems ridiculously simple. And yet experts have been searching for a solution in vain for decades. According to mathematician Jeffrey Lagarias, number theorist Shizuo ...

In May 2025, a claim (archived) circulated online that the tech entrepreneur and former Trump adviser Elon Musk solved an "unsolvable" math problem after a Harvard professor called him "rich but dumb.

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...

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.

Working memory is like a mental chalkboard we use to store temporary information while executing other tasks. Scientists worked with more than 200 elementary students to test their working memory, ...

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...