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

A 23-year-old with no advanced math degree used GPT-5.4 to produce a proof for an Erdős problem unsolved for over 60 years.

Have you ever wondered whether mathletes can go pro? Since 1959, the answer has been “yes” – with the height of achievement ...

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

What if the secrets to the universe’s most perplexing mathematical riddles were no longer locked away, but instead cracked open by an artificial mind? In a new development, OpenAI’s o3-mini model has ...

In new research, mathematicians have narrowed down one of the biggest outstanding problems in math. Huge breakthroughs in math and science are usually the work of many people over many years. Seven ...

AI thrives on data but feeding it the right data is harder than it seems. As enterprises scale their AI initiatives, they face the challenge of managing diverse data pipelines, ensuring proximity to ...

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

A new preprint math paper is lighting up the airwaves as mathematicians tune in for a possible breakthrough in a very old, very sticky problem in number theory. Riemann’s hypothesis—concerning the ...