Terrence Taos recent posts on AI, automated proof (opens in new tab)

(mathstodon.xyz)

3 pointswebnrrd2k8mo ago1 comments

1 comments

1 comments · 1 top-level

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

j / k navigate · click thread line to collapse