But 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
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.
loading story #50331201
loading story #50328836
loading story #50328674
loading story #50328787
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.
loading story #50329020
loading story #50328751
loading story #50328732
loading story #50328850
loading story #50328989
loading story #50329056
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.
loading story #50329009
loading story #50328696