3 ms·Terrence Taos recent posts on AI, automated proof3 points by webnrrd2k 1y agowebnrrd2k 1y agoTao on progress with LLMs, formal theorum proof, (with Lean), their roles in mathematics and academia, etc... topic that are discussed on HN regularly.