So it looks like Mr. “Not consistently candid” has been at it again?

I will admit that they got me with this one: I genuinely thought the FrontierMath results meant something real. I didn’t think they would be that brazen about rigging a benchmark that was explicitly advertised as being kept private so that AI companies couldn’t train on the questions. More fool me I guess.

The only concretely good thing in here is that the government is going to use it as a cudgel to impose upgrading the UK electrical grid over the objections of pathetic nimbys who value their views of rolling green fields to things like, oo, people managing to heat their homes in winter without going into debt.

If it also means the government putting the boot into local authorities to force them to permit local economic development I’ll take that too.

jart is already banned: https://lobste.rs/~jart &, as that comment makes clear, their entire domain is now completely banned from lobste.rs. I think you might be overcompensating a tad here?