Re:Sharing AI progress in mathematics
by JohnKemeny on Thursday October 08, 2026 @10:06AM
(#50005976)
Retracted 3 results. Found errors in 14 others.
Feels like some weird copium fence post shifting. "Yes, they solved those 300 intractable math problems, but 10% have some errors." Sure, maybe they do. Even Andrew Wiles had errors in his first solution of Fermat's Last Theorem.
That doesn't take away from the fact that Math just turned 180° on its head and there's no going back.
In “Algebraicity of Weil classes on split abelian eightfolds” a sign error invalidates a stabilization-trace cancellation argument and the construction used by two dependent papers. As a result, we have withdrawn the following three manuscripts:
- Algebraicity of Weil classes on split abelian eightfolds
- Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
- The rational Hodge conjecture for products of K3 surfaces
These were all related to the Hodge conjecture, one of the Millennium Prize problems. I wonder how many more will be retracted in the coming months.
https://github.com/openai/math/pull/1/files/301488868beec11b...