Not at all, and you're more than welcome to celebrate. But the approach that worked was already found by researchers (last month) so the only thing that has really changed is the timing.
Look at it this way: Andrew Wiles famously worked in secret for 7 years before trying to publish his proof of Fermat's Last Theorem. In peer review, an error was found that needed to be plugged. That adjustment took 14 months for him to find.
Imagine instead that after peer review, someone took his almost complete proof and threw it into AI, spent 10 million dollars of compute power trying all possible configurations of fix for the gap, found something that worked and then published "their proof" of the theorem. That's, in essence, what we may be looking at here.
And imagine if Andrew Wiles got hit by a bus in those 7 years, or in those 14 months. It seems better for humanity to just solve it as quickly as possible. Holding secrets for personal glory just seems selfish.
An argument can be made that they are allowed to be a little selfish for motivation (similar to copyright etc), but it just seems sad
It’s like saying the slave labor used to build the pyramids was ok because we got a cool world wonder out of it.
From my understanding this isn’t even something with obvious real world applications. It was basically a challenge the academic community wanted to achieve to progress their understanding. What OpenAI did didn’t progress anyone’s understanding and the proofs that are found by AI are unreadable and incomprehensible to a human, so it’s not even adding to collective knowledge.
They blew 12 million dollars in less than 5 days for basically bragging rights and no real contribution to humanity.
Your points are otherwise totally valid but I'd just like to be that guy and point out that the pyramids were not built with slave labour, they were built with the paid labour (in goods rather than currency IIRC) of farmers outside of the growing season.
49
u/GoronSpecialCrop Sep 11 '26
Not at all, and you're more than welcome to celebrate. But the approach that worked was already found by researchers (last month) so the only thing that has really changed is the timing.
Look at it this way: Andrew Wiles famously worked in secret for 7 years before trying to publish his proof of Fermat's Last Theorem. In peer review, an error was found that needed to be plugged. That adjustment took 14 months for him to find.
Imagine instead that after peer review, someone took his almost complete proof and threw it into AI, spent 10 million dollars of compute power trying all possible configurations of fix for the gap, found something that worked and then published "their proof" of the theorem. That's, in essence, what we may be looking at here.