Number theory·OpenAI Math·Result 008·Lean formalisation listed
The Deligne–Drinfeld conjecture
One of the 372 results in OpenAI's public mathematics catalogue, filed under number theory: 1 preprint, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
What OpenAI claims
Proves that the rational Grothendieck–Teichmüller Lie algebra, with the Ihara bracket, is freely generated by one element in each odd weight 3, 5, 7, …, resolving the Deligne–Drinfeld conjecture. (Lean)
Paper
The Deligne-Drinfeld conjecture
We prove the Deligne–Drinfeld conjecture: the rational Grothendieck–Teichmüller Lie algebra is freely generated by one element in every odd weight at least three, with the corresponding isomorphism after weight completion.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
The video
Deligne–Drinfeld Conjecture: One Generator per Odd Weight · Short · 0:21 · description, sources and transcript →
Related results in Number theory
- 009Function-field reconstruction from Milnor K-theory and Galois dataLean
- 010Unrestricted pro-modularity at the prime two
- 011Prime-factor statistics of p-1Video
- 012Independent largest prime factors of consecutive integersLean
- 013Ostmann’s inverse Goldbach conjectureVideoLean
- 014Restricted geometric Langlands, global Arthur enhancements, and generic RamanujanVideo
