Comment Comment by 123987182 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. parent 123987182 13 days ago
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.