alt Hacker NewsBut in a human way? I don't think so. The 700+ solutions that were put out by openAI are in no way accepted as solved until humans say so. It's kind of like saying SC2 was solved when Alpha beat the best players. The professional community just went on playing much the same. Math should do the same. Just with better tools
Replies
The proofs may not yet be understood, but to claim they should not yet be accepted as solved is to claim there is a bug in Lean, which is a big claim.
I keep seeing people point to AI solved games as evidence that AI advancements are less impactful than we might think. Usually it's chess ("today there are more players than ever!"). Most of the time these are bad analogies. Games are played for entertainment, so productivity is meaningless.
I never advanced in math past high school, but my assumption would be that we as a society aren't paying mathematicians to have fun[0]. The discoveries mathematicians make must translate into real improvements in engineering and other life improving fields. So why would we pay mathematicians to work on math much the same way, if a new machine-led way makes these discoveries faster and cheaper?
[0] Being a little facetious. I know I don't know what I don't know.
Math is too boring as a spectator sport. It's funded because of its practical use.
There's going to be some hobbyists doing math in their basements, but there's unlikely to be a future for professional mathematicians.