alt Hacker News> The more raw these proofs are, the better.
Says who? The professional mathematician writing the article disagreed. Why should people start dancing the tune that openai wants to play for their own reasons and interests? And I do not see how taking the time and effort to write a proper exposition makes it "a very elitist science" when this exact effort and time is needed to actually get other experts understand and build on a result. Unless you equate spending time and effort learning math as "elitism", which is the ai-shilling moto some time now with everything time and effort related. I cannot see how spending time and effort to understand a field and then spend time and effort to make a proper exposition so that other people can also understand it as "elitist" vs throw everything out there "in raw form".
>> The more raw these proofs are, the better.
This was my opinion. But anyone arguing to publish "results immediately" is likely to imply something like it. I guess in chemistry we have the situation you envision - for different reasons: Laboratories holding back their data, until their scientists have published their papers or developed their products. There is a real danger AI companies will do something similar too.
Who do you expect they will select for the exposition?
On which basis do you want a (likely US based) AI company to decide who is to untangle a proof that their latest internal model has just spit out?
Do you expect this to fall to an aspiring, but still unknown mathematician at - say - the mathematics department of Nairobi university?! This is what I meant with my rather unclear "elite" reference: The first publication will always show the name of a mathematician already known to the field, more likely than not to come from the same country as the company ("Our message ... is, you’re a great American company, but you’ve got to hire great American workers"). Are you not worried at all? Don't you think it would be good, if anyone in mathematics had a chance to write that first paper on a new proof?