123987182
Re:Will it be a golden age or a dark age for mathematics (and science)?
on Sunday October 18, 2026 @11:25AM (#50141901)
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.