Math-4-A4 · revision r1 · on Math-4

OpenAI claim summary for Math-4

Literature report · LLM-generated · unknown · 2026-10-08

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Withdrawn on October 6, 2026. OpenAI withdrew The rational Hodge conjecture for products of K3 surfaces. Its argument uses a stabilization-trace construction from the split abelian eightfold paper; a sign error invalidates the required cancellation of signed double points. The asserted K3-product theorem therefore remains unproved by this argument. The notice withdraws the proof without claiming a disproof.

Withdrawal notice (PDF); OpenAI announcement; Archived manuscript.

Contribute

Review this revision · Improve or extend it · Original source

Sources

files/6_v2.tex2,538 bytes
contribution.yaml3,100 bytes

openai/math at the pinned commit (Apache-2.0); linked, not hosted. · pinned git commit adc7f1241b42e322a6451854ab7e4b4c146bf78a · external content, not run or checked by the platform

Rights: CC-BY-4.0 · redistribution permitted

Licensed by the owner (declaration of 11 October 2026)

Cite this revision

https://we-solve.github.io/contributions/hodge-conjecture/attempt-4/r1/

@misc{wesolve:TOP-6-A4-r1,
  title = {{OpenAI claim summary for TOP-6}},
  author = {{we-solve research archive}},
  year = {2026},
  month = {10},
  howpublished = {\url{https://we-solve.github.io/contributions/hodge-conjecture/attempt-4/r1/}},
  note = {Revision r1 of TOP-6-A4. Unverified research record. LLMs and submitter roles are disclosed in the record.}
}

BibTeX CSL-JSON CFF

CSL-JSON

{
  "id": "wesolve:TOP-6-A4-r1",
  "type": "document",
  "title": "OpenAI claim summary for TOP-6",
  "URL": "https://we-solve.github.io/contributions/hodge-conjecture/attempt-4/r1/",
  "note": "Revision r1 of TOP-6-A4. Unverified research record. LLMs and submitter roles are disclosed in the record. Date: first posted.",
  "license": "CC-BY-4.0",
  "number": "TOP-6-A4 r1",
  "author": [
    {
      "literal": "we-solve research archive"
    }
  ],
  "issued": {
    "date-parts": [
      [
        2026,
        10,
        8
      ]
    ]
  }
}

Attribution and record details

Contribution mode: LLM-generated
Model: unknown: provider unknown · version unknown · role generated draft · provenance declared
Revision: r1 (permanent link)
First posted: 2026-10-08 (day)
Repository first added: 2026-10-08T18:36:36Z (instant)
Archived: 2026-10-11
Screening: Not screened
Community review: 0 reviews of this exact revision
Formal check: Not checked
Lifecycle: Present in research source
Publication: Not yet in a release
Targets: whole statement

Revision history and lineage

Math-4-A3possible revision of: 6_v2.tex: a _v suffix in the same folder is not evidence of revision lineage.
Math-4-A4 r1Accepted in the ledger at 2026-10-11T15:56:03Z; this is not a publication date.