3 points | by webnrrd2k 19 hours ago ago
1 comments
Tao on progress with LLMs, formal theorum proof, (with Lean), their roles in mathematics and academia, etc... topic that are discussed on HN regularly.
Tao on progress with LLMs, formal theorum proof, (with Lean), their roles in mathematics and academia, etc... topic that are discussed on HN regularly.