Terrence Taos recent posts on AI, automated proof(mathstodon.xyz)
mathstodon.xyz
Terrence Taos recent posts on AI, automated proof
https://mathstodon.xyz/@tao
1 コメント
Tao on progress with LLMs, formal theorum proof, (with Lean), their roles in mathematics and academia, etc... topic that are discussed on HN regularly.