[–] webnrrd2k 1y 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
[ 3.0 ms ] story [ 13.4 ms ] thread