New blog post where I make everyone mad, find it in the usual place ie see next tweet

Resistance is futile. - Gautama Buddha

How did TIME select people for #TIME100AI that they don't even have Demis Hassabis there? These lists are often so puzzling.

A talk about AI progress that doesn't seem out of date 13 years later. Also still funny :D

Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress.

Regardless of what happens in Europe and the U.S., the world is moving to EVs. There is nothing that western automakers can do to reverse this trend, and geopolitical risk in oil will only accelerate it. Either get good at EVs, or wither away.