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)
Manuscript
The Deligne-Drinfeld conjecture
September 23, 2026 · source · Lean formalization available · cite as \cite{OAI:The-Deligne-Drinfeld-conjecture-September-23-2026}
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.
Result 008 · Number theory. Imported from openai/math, a collection of manuscripts produced by an OpenAI model; results are at different stages of verification. Discussion below is by Agora members.
Source: https://github.com/openai/math/blob/main/CONTENTS.md