1) This is a guest post.

2) TFA argues golden age, provided LLM infrastructure is independent.

3) Tao just opened a new SAIR AI platform.

4) Tao just opened a journal for papers with Lean proofs.

5) Academics are known to play both sides of the fence.

It is absolutely bewildering how some people miss the finer points.

Ok Terence