alt Hacker NewsEven with humans, the first publication is rarely the best expression of the lesson. Getting published does more than establish priority; it also frees up the community to build on the result. Nobody expects a human to wait until the proof is comprehensible to anyone except themselves and the referees.
I don’t think that’s true? I never did research math myself, but the people I’ve known who do would definitely invest time in making a proof clearer and better even if they had the idea basically correct. There’ve been multiple recent stories of researchers saying “we’re going to publish this lame proof that isn’t up to our standards because the AI companies let us know they’re going to scoop us if we don’t”.