#Mathematics

Responsible Release of AI-Generated Mathematics September 29, 2026 Back to main page Download PDF At present, some frontier AI labs are testing advanced mathematical problems on proprietary models …

[This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.] When I was an undergraduate student, I remember talking with…

OpenAI’s proof seems eligible for a $1-million prize—but only by using a controversial loophole

[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence. This blog post was initially written in a different file format and converted using AI. — T.] We would …

[This is a guest post by Po-Shen Loh, crossposted from his blog, where an illustrated version appears. This blog post was initially written in a different file format and converted using AI. &#8212…

Blog of the STRUCTURES Cluster of Excellence. On this blog we show pictures of interesting structures related to our research in the STRUCTURES Cluster, and we give you an idea what they are, how they come about, and why they fascinate us.

[This is a guest post by Grant Sanderson. This blog post was initially written in a different file format and converted using AI. — T.] A sentiment echoing throughout the mathematics communit…

The proof of a decades-old conjecture has given researchers a new way to understand complex networks.

Medieval mathematics was a highly personal craft, with knowledge of mathematics and methods being treated as a liability (for better and for worse) and having that knowledge was treated as secret

A positive vision for the future of mathematics: how our institutions can deepen human understanding as AI transforms mathematical research.

[This is a guest post by Silvia De Toffoli and Eamon Duede. This blog post was initially written in a different file format and converted using AI. — T.] Silvia De Toffoli (University School …

The Millennium Prize Problems were unveiled by the Clay Mathematics Institute (CMI) at a meeting in Paris in 2000 to celebrate “The Universality of Mathematical Thought”.…

AI has made groundbreaking progress in pure math in the past few months. That raises the question: how can we responsibly use AI tools to augment human understanding of mathematics?

The key advantage may not be superior reasoning, but a virtually unlimited symbolic working memory.

I'm currently returning to Toronto from a summit on the future of mathematics, at OpenAI. Sebastian Bubeck asked me to talk a bit about the future we'd all like to avoid, where humans are mathematically disempowered.…

Hannah Fry is Professor of the Public Understanding of Mathematics in the Department of Applied Mathematics and Theoretical Physics (DAMTP). She joined the University of Cambridge in January 2025, becoming the first person ever to hold the role.

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…