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

ChatGPT, an artificial intelligence model, has solved a 64-year-old mathematical problem that had stumped human experts, using a well-known formula in an innovative way.

UCLA mathematician Terence Tao, who reviewed the result, said that ChatGPT used a completely different method to solve the ...

The card game Set has long inspired mathematicians to create interesting problems. Now, a technique based on large language models (LLMs) is showing that artificial intelligence (AI) can help ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...