K3 surface

A paper on Weil classes on split abelian eightfolds used plus one where its own conventions required minus one.

Two other papers, one on Kuga-Satake correspondences for K3 surfaces, one on the rational Hodge conjecture, had no errors of their own.

They just stood on the first paper's construction, and when it cracked, they fell with it.

OpenAI also revised fourteen more manuscripts with repaired proofs and clarified hypotheses.

The error is in a paper on Weil classes on abelian eightfolds, where it breaks a cancellation argument.

Two papers on K3 surfaces used the same construction, so they failed too.

All three were related to the Hodge conjecture, one of the most famous open problems in mathematics.

OpenAI revised fourteen other papers as well, with repaired proofs and some corrected statements, and it added machine-checked proofs, so about forty-two percent of the main results are now formally verified in Lean.