GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

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.

In October 2024, news broke that Facebook parent company Meta had cracked an "impossible" problem that had stymied mathematicians for a century. In this case, the solvers weren't human. An artificial ...