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.
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 ...
UCLA mathematician Terence Tao, who reviewed the result, said that ChatGPT used a completely different method to solve the ...