Terrence Taos recent posts on AI, automated proof(mathstodon.xyz)

3 pointsby webnrrd2k9 miesięcy temu1 comments

Terrence Taos recent posts on AI, automated proof

https://mathstodon.xyz/@tao

1 comments

webnrrd2k9 miesięcy temu

Tao on progress with LLMs, formal theorum proof, (with Lean), their roles in mathematics and academia, etc... topic that are discussed on HN regularly.