I don’t understand the chess analogy. How is it in any way similar? | Hacker News

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

		LudwigNagasena on June 19, 2021 \| parent \| context \| favorite \| on: Mathematicians welcome computer-assisted proof in ... I don’t understand the chess analogy. How is it in any way similar?

kevinbuzzard on June 19, 2021 [–]

Lean and the other theorem provers turn mathematical proofs into levels of a computer puzzle game, much like a chess puzzle.

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