I had a look at the “project number of CVEs” that we estimated back at #curl up in late May. We then said it could end up at 55 by the end of the year. As we now already have published 45 and there are (at least) 20 coming, we have certainly exceeded those projections. The question is now rather […]

Show Post

I plan to ignore the controversy on whatever's going on with Navier-Stokes. However, I also noticed my reaction was "huh, okay" rather than "wtf??????" at an AI solving a Millennium problem. (I expect the result to stand up, controversy aside.) I'm the frog, it's me, I'm boiled.

Show Post

I suppose if you’re thinking of a system of Bayesian decisions the posterior of one is the prior of the next, sort of like a human centipede of equations, so you can say anything is a prior

Show Post

Bluesky is just a terrible place to be if you want to be informed about AI. Most people have not been exposed to the frontier models / capabilities. The long tail of stuff it can't do is rapidly closing.

Show Post

The idea of a machine that mechanistically generates true theorems goes back to Hilbert 100 years ago. People lost interest when Gödel proved it was impossible to generate all of them (true things outnumber proofs) but that never implied the machine wouldn't produce a whole lot of them.

Show Post