ChatGPT can provide original mathematical proofs, researchers show

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, ...
Hosted on MSN

'Proof by intimidation': AI is confidently solving 'impossible' math problems. But can it convince the world's top mathematicians?

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

2 high schoolers say they've found a proof for the Pythagorean theorem which mathematicians thought was impossible

Two US high schoolers believe they have cracked a mathematical mystery left unproven for centuries. Calcea Johnson and Ne'Kiya Jackson looked at the Pythagorean theorem, foundational to trigonometry.
Forbes

AI LLMs Astonishingly Bad At Doing Proofs And Disturbingly Using Blarney In Their Answers

Forbes contributors publish independent expert analyses and insights. Dr. Lance B. Eliot is a world-renowned AI scientist and consultant. In today’s column, I examine an insightful AI research study ...
Scientific American

Mathematicians issue a major challenge to AI: Show us your work

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...