A guest post on Terence Tao's blog mocks AI math as a Library of Babel (terrytao.wordpress.com)
Gambhir, a theoretical particle physicist, writes as someone who thinks it is inefficient to explain or check a result when the same resources can generate another, and calls the output a repo of potentially true facts nobody will read. Tao hosts it.
On HN, the sharpest hit ran the Library of Babel simulator: random pages are gibberish, while AI proofs are credible and frequently correct. A reply pointed out that the essay says exactly that, and that "look correct" is the joke.
Sign in to save