logoalt Hacker News

oliculipolicula • yesterday at 12:23 PM • 2 replies • view on HN

The bigger question is why there was internal pressure to rush such a historic launch without having someone in the company, anyone, check the proofs first.

This concerns the Hodge conjecture (millennium prize related) paper. Seems to me like PhD nerds weren't confident bosses pushed ahead anyway.


Replies

yorwba • yesterday at 12:45 PM

What makes you think that nobody checked the proofs first? It's not like someone checking it once without spotting any mistakes means that nobody else will find any mistakes either.

➕ show 3 replies
kolinko • yesterday at 1:05 PM

My assumption is that they checked the proofs vigurously, but now a way broader community is taking a look with professionals from the relevant subfields, and different agent setups / models.

➕ show 2 replies