logoalt Hacker News

nicce • yesterday at 8:00 PM • 1 reply • view on HN

Yeah. Unless human can verify it, not sure if it is certain or useful.

Replies

kolinko • yesterday at 8:17 PM

Wasn’t the proof of Fermatt’s Last Theorem proof similar in complexity?

➕ show 2 replies