Terrence Taos recent posts on AI, automated proofmathstodon.xyz 3 pointswebnrrd2k10 months ago1 commentSaveHideCopy link On HNComments−webnrrd2kOP10moTao on progress with LLMs, formal theorum proof, (with Lean), their roles in mathematics and academia, etc... topic that are discussed on HN regularly.
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.