> This actually happened Oh wow! Was it an interesting theorem that got proved t... | Hacker News

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

		auggierose on Feb 21, 2021 \| parent \| context \| favorite \| on: Formalising Mathematics: An Introduction > This actually happened Oh wow! Was it an interesting theorem that got proved this way? Did it get proved in another, less controversial manner as well? Could you provide a pointer to it?

Someone on Feb 21, 2021 [–]

https://en.wikipedia.org/wiki/Riemann_hypothesis#Excluded_mi... lists 3 such proofs.

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