It feels like something written by someone who's on psychedelics . So much uncl... | Hacker News

Math proofs need to produce the correct output correctly, which is not quite the same thing. This looks like an AI IPO PR powerplay, because at this.