Shut Up and Prove - Hyperproblems

Shut Up and Prove - Hyperproblems

TLDR; We are at an asteroid hitting the earth level of crisis of intellectual life. My first love was the foundations of mathematics. Or maybe the second lo…

Developing creative identity

I was a theoretical physicist from 1992 to 2007. It was a romantic activity, exploring the fundamental nature of the cosmos! I became a university professor, wrote papers and books, and got to explore some of the most beautiful ideas ever discovered. In parallel, I also developed a fascination with the social systems humanity uses to make knowledge. Systems like the university or peer review are immensely deep inventions: our discovery system is itself one of the great inventions of humanity! But I believed a radically better discovery system must be possible. I became obsessed with this idea, eventually giving up tenure to work on it1. My first big project was to write a book helping develop and spread the fundamental ideas underlying the modern open science movement.

Terence Tao – Kepler, Newton, and the true nature of mathematical discovery

“And what those stories teach us about how AI will revolutionize math”

Kill Math

The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols.

I’ll write romance novels if AI solves all maths, Chinese Fields winner jokes

As AI models prove they can push the boundaries, mathematicians are grappling with the threat that they could become obsolete.

Phillip M. Alday

I was a struggling mathematician, then a linguist and now a (cognitive) neuroscientist, but will probably always be a hacker. I also moonlight as an applied statistician. These are some of the things I’ve done along the way.

The End of Mathematics — Daniel Litt

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. Jacob Tsimerman advised us to try to prioritize detail over correctness, and I have no doubt that I succeeded in deprioritizing correctness.

The Age of Wonders and Terrors

Twenty years ago, when the idea of AI taking over the world in our lifetimes still struck most of us as the unconstrained fantasy of those who knew too much science fiction and too little science, …

Applied Pure Mathematics

Some thoughts about mathematics as a cultural and social technology.

Thoughts about the Leiden Declaration

Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…

Pioneering Scientific Superintelligence

Pioneering Scientific Superintelligence to solve humankind’s greatest challenges.

Ursula's list

Ursula Franklin is one of my all-time favorite thinkers about both the obvious and obscured parts of our technological world.

All Those Metrics Bleed Your Obsessions - Aaron Ross Powell

The internet once encouraged us to build entire identities around our weirdest, deepest fascinations. Then metrics and distribution flattened those obsessions into fungible content.

If math is more than proof, we need to better celebrate the rest of it

[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…

Talia Ringer 🕊🪬 on Twitter / X

Poured my heart and soul into advocating for formal proof with AI assistance in a mathematical setting because of the large collaborations I thought it could empower. (1/3)— Talia Ringer 🕊🪬 (@TaliaRinger) September 10, 2026