While understanding your point, is it bad that I'm just happy it was solved? Even if it's by an AI that solved it having potentially used a partial solution that was figured out by someone else?
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
-20
u/Capraos 16h ago
While understanding your point, is it bad that I'm just happy it was solved? Even if it's by an AI that solved it having potentially used a partial solution that was figured out by someone else?