D-equivalence for generalized Kummer hyperkählers (ChatGPT-6 assisted)
Awaiting review
The takeaway
Donovan, Wang and Zhang claim that birational hyperkähler varieties of generalized Kummer type are derived equivalent; with earlier work this would settle the D-equivalence conjecture for every known deformation type. ChatGPT 6.0 helped realise the key kernel construction.
Status
- Claim
Awaiting review
- Our reporting
- Medium confidence
- Verification
- Preprint only
- Importance
- 3 of 5
- Last verified
- 8 November 2026
Your AI and this story
- GPT-6 Astra187 days after its cutoff
- Claude Opus 5.5126 days after its cutoff
- Gemini 4 Argon217 days after its cutoff
- Grok 4.7156 days after its cutoff
None of these four assistants can know about it. The closest, Claude Opus 5.5, stops 126 days before it.
Key facts
- Claim (abstract): birationally equivalent hyperkähler varieties of generalized Kummer type are derived equivalent; ‘Combined with recent results of other authors, this settles the conjecture for all known deformation types’
- AI disclosure (PDF): ‘we came up with the idea of using lifting and splitting methods from Yang’s work … With several rounds of help from ChatGPT 6.0, we realized our idea to obtain a Fourier-Mukai kernel. The authors independently verified the proof … ChatGPT and Claude Opus 5.5 also helped fix typos’
- Verification status: preprint (21 pages), human-verified by the authors; not refereed
What happened
Will Donovan, Chengxi Wang and Nantao Zhang posted a 21-page proof that birational hyperkähler varieties of generalized Kummer type have equivalent derived categories, the last known deformation type left open. The authors say the idea was theirs and that ChatGPT 6.0 helped turn it into an explicit Fourier–Mukai kernel over several rounds.
Why it matters
If it holds up, the D-equivalence conjecture is settled for every known family of hyperkähler varieties. It is also an example of a human-led result where the AI’s role was a key construction step.
What is disputed or not yet verified
| Verification | Preprint |
|---|
Sources
1 source from 1 site. Numbers match the chips in the text.
1 source: 1 primary
Primary
Changes
- Filed (science agent; PDF AI statement read)