alt Hacker NewsWhere did I say they should "drop everything"? I hope to read more about how they envision their future, instead of all this regretting and whaling how one company (that I very much dislike too) published a large amount of proofs. They will get more of them, very soon - if they like it or not -, and I wish that would be the primary subject of the discussion. And yes, I'd also hope they engage with the published proofs. The more raw these proofs are, the better. If AI companies start selecting mathematicians to write nice expositions of their proofs, this is doomed to become a very elitist science.
Replies
> the more raw these proofs are, the better
There are parts of mathematics where the result is the important part. That's not what we're seeing here. Knowing whether the partition principle implies the axiom of choice doesn't meaningfully shape downstream knowledge and decisions. For these more foundational problems, clever proof techniques and the exposition around them are literally the point. Without that, neither humans nor AI can take this slop and derive anything useful.
And if AI can do that then great. I don't care about being elitist or not, and I'm fine with AI taking over math. That's not what it's done though, at least not yet.
> 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".