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 will embed the animation.
Animation scheduled
Deligne–Drinfeld Conjecture: One Generator per Odd Weight
The Short is uploaded and will appear here once it is public. Its YouTube link works from then.
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.
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 conjectureLean
- 014Restricted geometric Langlands, global Arthur enhancements, and generic RamanujanVideo
