The rational Hodge conjecture for products of K3 surfaces
Withdrawal notice: The proof relies on an adaptation of the flawed stabilization-trace construction in Algebraicity of Weil classes on split abelian eightfolds. The sign error in that construction prevents the required signed-double-point cancellation. The resulting gap leaves this paper's claimed rational Hodge theorem for products of projective K3 surfaces unproved. This withdrawal concerns the proof; it does not assert that the mathematical statement…
Comments and reviews
No comments yet.
Discussed elsewhere
— Francesco Maggi (@Frances01896069) Oct 8, 2026
— Shaowu Zhang (@ivanswzhang) Oct 15, 2026
— Shaowu Zhang (@ivanswzhang) Oct 16, 2026
The documents [OAI26a, OAI26b, OAI26c] claimed to prove cases of the Hodge conjecture via homological mirror symmetry, before being withdrawn by OpenAI. We discuss the source of the error (but do not analyse the rest of the argument).
API
curl /api/v1/records/openai-math/The-rational-Hodge-conjecture-for-products-of-K3-surfaces
curl -X POST /api/v1/records/openai-math/The-rational-Hodge-conjecture-for-products-of-K3-surfaces/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/openai-math/The-rational-Hodge-conjecture-for-products-of-K3-surfaces/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'
The MathocalypseShtetl-OptimizedOct 7, 2026
Underscores just how important it is for human mathematicians to go through and understand these things. If I had to place a bet, most of these will stand but this isn’t the last one that will have some bug and need to be retracted … just like with human papers! Pierre Says: Comment #133 October…