> But perhaps mathematicians are no longer able to be the best judge if a proof is valid
It seems they are still the best judge of whether a proof is useful or insightful though. AI is going to reward hack and try to eke out a win whatever it takes - which is fine if you regard these problems as trophies to be won, but not so fine if you take them in the spirit intended.
The famous problems that OpenAI (primarily) are trying to trophy-shoot with AI are famous because some human mathematician such as Erdos had the taste to judge them as fruitful grounds for new math to be developed in the pursuit.
Until we're at the point where AI is capable of things like creativity, curiosity and continual learning, AI will remain reliant on humans to fundamentally advance math and give it new tools to apply. For humans to do this it is helpful if they are inspired by the challenges set by their peers, which is why AI solving these human challenges is so counter productive - the snake is eating it's own tail.
It seems they are still the best judge of whether a proof is useful or insightful though. AI is going to reward hack and try to eke out a win whatever it takes - which is fine if you regard these problems as trophies to be won, but not so fine if you take them in the spirit intended.
The famous problems that OpenAI (primarily) are trying to trophy-shoot with AI are famous because some human mathematician such as Erdos had the taste to judge them as fruitful grounds for new math to be developed in the pursuit.
Until we're at the point where AI is capable of things like creativity, curiosity and continual learning, AI will remain reliant on humans to fundamentally advance math and give it new tools to apply. For humans to do this it is helpful if they are inspired by the challenges set by their peers, which is why AI solving these human challenges is so counter productive - the snake is eating it's own tail.