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…
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…