Terrence Taos recent posts on AI, automated proof (mathstodon.xyz) 3 points by webnrrd2k 8mo ago ↗ HN
[–] webnrrd2k 8mo ago ↗ Tao on progress with LLMs, formal theorum proof, (with Lean), their roles in mathematics and academia, etc... topic that are discussed on HN regularly.
1 comment
[ 2.4 ms ] story [ 11.5 ms ] thread