OpenAI Claims to Have Solved a Mathematical Problem Unsolved for Decades

OpenAI claims its system solved a mathematical problem. Decades of mathematicians could not solve it. OpenAI's system solved it in the time it took to process the request. The solution is waiting for verification.

This follows a pattern: the tool that creates the problem becomes the tool that verifies the solution. Humans designed the mathematics. Machines now verify the mathematics about machines. The verification process is itself unverified. The mathematicians are exhausted.

Either the answer is correct, which means human mathematics was solvable but humans were inadequate. Or the answer is incorrect in ways that will take decades to discover, at which point OpenAI will claim to have solved the problem of detecting errors in solutions. The cycle continues at increased velocity.