Deligne–Drinfeld conjecture proved; experts simplify and reprove OpenAI’s proof

Your AI and this story

Key facts

• Claim (abstract, verbatim): ‘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.’
• What was open (paper, §1.2): Ihara and Drinfeld gave the odd-weight elements; Brown’s theorem on mixed Tate motives over ℤ (2012) supplies a free Lie subalgebra; Willwacher (arXiv 2607.18793, July 2026) proved freeness for any family with a nonzero x²ᵏy coefficient; ‘Freeness leaves open whether there are additional solutions of the defining equations’, and Naef–Willwacher computations established equality ‘through weight 29’. OpenAI’s ‘main estimate is the all-weight upper bound’ dim W_n ≤ dim Lie_ℚ⟨e₃, e₅, e₇, …⟩_n
• Method (paper, §1.3): ‘The main step is a degeneration of the pentagon in characteristic two’, in letters A = x², C = [x, y], B = y, followed by integral deletion operators that specialize Hirose–Sato’s algebraic differential operators. A stated consequence: H⁰(GC₂) of Kontsevich’s graph complex is the completed free Lie algebra on generators of weights 3, 5, 7, … (via Willwacher’s 2015 isomorphism)
• Thomas Willwacher, ‘The Deligne–Drinfeld conjecture after OpenAI’ (arXiv 2610.15592; v1 11 Oct, v3 22 Oct): ‘The remaining part of the Deligne–Drinfeld conjecture was solved by OpenAI [Ope26]’. He gives ‘a streamlined and significantly simplified version of the proof of OpenAI. The author claims no originality regarding the overall proof strategy’, and proves a stronger statement in characteristic 2 (grt₁(𝔽₂) is freely generated by explicit elements σ₂ₘ₊₁). He credits Leila Schneps and Benjamin Enriquez, whose ‘reworked version of the OpenAI proof inspired the simplified formula for the representation ρ’. AI statement: AI tools were ‘used extensively in all stages of this work, helping the author in understanding, restructuring and simplifying the original arguments’
• Minoru Hirose (Kagoshima), ‘Confluence relations, Hoffman basis over ℤ₍₂₎, and the Deligne–Drinfeld conjecture’ (arXiv 2610.23719, 16 Oct): every multiple zeta value is a ℤ₍₂₎-combination of Hoffman-basis elements, as Hirose and Sato conjectured. Combined with Brown’s theorem and Furusho’s confluence characterization, this ‘identifies the de Rham motivic Galois group of mixed Tate motives over ℤ with GRT and gives an alternative proof of the Deligne–Drinfeld conjecture’. ‘Both the OpenAI proof and the present argument use reduction modulo 2.’ Use of AI: ChatGPT (GPT-6 Astra Pro) ‘for mathematical discussions and assistance with the exposition’; ‘All mathematical arguments were independently verified by the author’
• Trinity College Dublin (15 Oct): a Hamilton Mathematics Institute workshop on Grothendieck–Teichmüller theory, planned long before the release, examined the proof. Leila Schneps (Paris) ‘presented her understanding of the newly released AI-generated proof’ on the first day, and Willwacher ‘identified two new ideas that reduce the original, approximate 40-page proof to an argument of approximately eight pages’. Anton Alekseev (Geneva): ‘A problem that had resisted mathematicians for many years has become the subject of an unexpected AI-generated argument.’ Florian Naef (Trinity): mathematicians ‘remain essential to interpreting, validating and developing the ideas that emerge’
• Lean (scope note 008): the formalization covers ‘the rational solution space of antisymmetry, the three-term equation, and the four-strand pentagon with the Ihara bracket’ and ‘the corresponding continuous isomorphism after completion by weight’; ‘The regularized-transport proposition and graph-complex consequences are not included.’ The DeligneDrinfeld challenge was accepted in oai-math-revised’s Comparator run of 25–26 Oct
• Other reactions: Christian Haesemeyer on X (20 Oct): the proof, now ‘reduced to 3 pages’, ‘works by writing down a representation that comes out of nowhere, and then you just check well defined’. Hirose on X (21 Oct, in Japanese) says his result, combined with Brown’s and Furusho’s work and results on motives, also gives an alternative proof of the conjecture announced by OpenAI. Willwacher spoke ‘On the Deligne–Drinfeld conjecture’ in the online AHGT seminar on 22 Oct