Prevents embarrassment if it turns out one’s idea is wrong, I suppose. | Hacker News

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

		DaiPlusPlus on July 3, 2024 \| parent \| context \| favorite \| on: With fifth busy beaver, researchers approach compu... Prevents embarrassment if it turns out one’s idea is wrong, I suppose.

someplaceguy on July 3, 2024 [–]

The person in question formalized the entire proof in Coq, which certifies its correctness.

To me, that makes your conjecture very unlikely to be true...

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