Tuesday, September 15, 2026

China And AI

"China dismisses AI slowdown calls and blasts 'fearmongering' from U.S. tech leaders". 

Prediction: China will have nothing to do with any proposed "AI pause". US politicians who think we will reach an international agreement on this are deluding themselves.

Monday, September 14, 2026

Friday, September 11, 2026

Taxonomy of Omnicidal Futures Involving AI

Given all the recent drama about "AI will kill us all!", I thought I'd mention this 2025 paper by Critch and Tsimerman laying out a helpful conceptual framework for discussion: "A Taxonomy of Omnicidal Futures Involving Artificial Intelligence"


Thursday, September 10, 2026

Wednesday, September 09, 2026

Fermat Again

Anthropic: "Formalizing Fermat's Last Theorem"

We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this work could mean for research mathematics.

Tuesday, September 08, 2026

Friday, September 04, 2026

Thursday, September 03, 2026

Listener-Specific Audio

"Engineers develop single-element speaker that beams audio to specific listeners". (Via H.R.)