Come on, you can't compare *that* with Wiles's proof. | Hacker News

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

		thrance 6 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem Come on, you can't compare that with Wiles's proof.
		help

chpatrick 6 days ago [–]

Still unsolved for 87 years.

thrance 6 days ago | [–]

Meaningless on its own.

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