

I suppose what it comes down to is, if OpenAI couldn’t be bothered to try and elucidate their results, or even try to separate nonsensical exploits from genuine proofs, I don’t understand why mathematicians shouldn’t treat all of it as worthless instead of doing unpaid PR work for them.

I mean, I don’t know, my confusion comes from also seeing a lot of mathematicians react as if mathematics are over and that it sucks that the future is all about checking AI proofs. And I suppose it’s unpleasant when a sort of maybe authoritative entity comes out of nowhere and tells you the answer to your favourite problem is 42 and doesn’t elaborate. But I feel like I might be missing something as to why this is a big deal. (Apart from OpenAI’s shitty conduct, I mean.)