Terrence Taos recent posts on AI, automated proof | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Terrence Taos recent posts on AI, automated proof (mathstodon.xyz)
		3 points by webnrrd2k 52 days ago \| hide \| past \| favorite \| 1 comment

webnrrd2k 52 days 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact