In our field of applied mathematics, the long, human process of trial and error — not just the solutions themselves — is often what has led to progress.

Hundreds of new A.I.-generated findings moved the frontiers of higher math in a single day — dispelling any doubt that the field is forever changed.

In the age of A.I. disinformation, we all need to use the tools of counterespionage to find the truth.

In our field of applied mathematics, the long, human process of trial and error — not just the solutions themselves — is often what has led to progress.

by John Allen Paulos

Is the U.S. turning into a post-literate society? It's complicated, but the answer is Yes, more or less. https://t.co/Anxgs5Lczq

Top mathematicians gathered recently in San Francisco at the offices of OpenAI to discuss what would be left for humans to do when artificial intelligence becomes superhuman at math.

by John Allen Paulos

1,000,000,000,000 (that’s 1 trillion), in graphics https://t.co/WZ0EVNuGGL via @nbcnews

Interplanetary defense isn't expensive, and it could save the planet.

The prolific mathematician discusses the role culture plays in understanding and appreciating science

The courtroom, the corpus, and the procedure we stopped trusting

With Wall Street’s help, you’re about to be forced to buy stock in SpaceX

How to think about the latest big number to make headlines.

Don Knuth recently posted a note called “Claude’s Cycles.” Claude Opus 4.6, coached by Filip Stappers, solved an open problem Knuth had…

The more machines can do, the clearer it becomes what only human beings can provide.

Photo by Bozhin Karaivanov on Unsplash

Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal verification, with implications for crypto security.

The purge of news releases documenting criminal charges, convictions and sentencings is the latest step by the Trump administration to dramatically rewrite the history of Jan. 6, 2021.

Shannon Got AI This Far. Kolmogorov Shows Where It Stops. This post previews a conversation I recorded today with Martin Casado for the a16z podcast, releasing next week. The ideas here came up in …

by John Allen Paulos

AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.

People close to Trump are trading based on national secrets

Rollback of government’s ability to limit climate-heating pollution will make families ‘sicker and less safe’, environmental advocate says

Trump’s name is mentioned thousands of times – many are innocuous, but some include uncorroborated allegations that he abused young girls.