Calcea Johnson and Ne'Kiya Jackson believe they can prove the Pythagorean Theorem using trigonometry — and are being encouraged to submit their work for peer review Jason Hahn is a former Human ...

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...

What was once a field defined by abstract symbols and complex calculations is now reshaping its development through AI tools. Scientists are using large language models together with ...

A powerful mathematical technique is used to model melting ice and other phenomena. But it has long been imperiled by certain “nightmare scenarios.” A new proof has removed that obstacle. Imagine an ...

The Langlands program has inspired and befuddled mathematicians for more than 50 years. A major advance has now opened up new worlds for them to explore One of the biggest stories in science has been ...

At a secret meeting in 2025, some of the world's leading mathematicians gathered to test OpenAI's newest large language model, o4-mini. Experts at the meeting were amazed by how much the model's ...