Also a ton of comments in this thread: breathless frothing hype declaring mathematics is over and assuming these proofs are exactly what they claim they are at face value, giving the company with a vested interest in everyone unquestioningly believing this is all real every conceivable benefit of the doubt
Didn't top math researchers call AI progress absolutely real and dangerous for math? It's not just HN commenters that are impressed!