A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

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

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

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

An apparently easy-looking math problem has left internet users scratching their heads. The elementary-grade problem looks simple enough to solve in seconds, but has tripped up the masses. The basic ...