Number theory·OpenAI Math·Result 031
Uchida’s conjecture for open homomorphisms of Galois groups
One of the 372 results in OpenAI's public mathematics catalogue, filed under number theory: 1 preprint, the latest dated 5 October 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
Chapter 30 of 83 in Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · starts at 10:05 · watch from there on YouTube →
What OpenAI claims
Proves Uchida's conjecture: every continuous open homomorphism between Galois groups of possibly infinite solvably closed Galois extensions of number fields comes from a unique equivariant field embedding in the opposite direction. No restriction on the kernel or separate cyclotomic-compatibility assumption is needed.
Paper
Open Homomorphisms of Global Solvably Closed Galois Groups
We prove Uchida's conjecture on open homomorphisms of Galois groups. Every continuous open homomorphism between Galois groups of solvably closed Galois extensions of number fields is induced by a unique equivariant field embedding in the opposite direction. No restriction on the kernel or additional compatibility hypothesis is required.
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.
Quick answers
- Is it proven?
- Not independently yet. OpenAI posted a preprint on 5 October 2026; it has not been peer reviewed, so treat the result as OpenAI's claim until other mathematicians have checked it.
- What exactly does OpenAI claim?
- Proves Uchida's conjecture: every continuous open homomorphism between Galois groups of possibly infinite solvably closed Galois extensions of number fields comes from a unique equivariant field embedding in the opposite direction. No restriction on the kernel or separate cyclotomic-compatibility assumption is needed.
- Where is the proof?
- In the paper, Open Homomorphisms of Global Solvably Closed Galois Groups (PDF).
- Is there a video?
- Yes, on YouTube (28:48, chapter 30).
Also in
- Chapter 2 of 10 in Large Prime Gaps Have Positive Density, Artin's Primitive Root Conjecture and 8 More · starts at 0:20 · watch from there on YouTube →
The video
Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · Compilation · 28:48 · chapter 30 from 10:05 · description, sources and chapters →
Related results in Number theory
- 001Milne’s rationality conjecture and algebraic specializationVideo
- 002The full BSD formula from low Selmer corankVideo
- 003The quasi-Riemann hypothesisVideoLean
- 004Hilbert’s tenth problem over ℚVideo
- 005Irrationality of Catalan’s constantVideoLean
- 006Goldfeld’s conjecture: densities and mean analytic rankVideo