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.

Compilation · 28:48 · 14 October 2026 · from 10:05Watch on YouTube →

Subscribe on YouTube

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

  1. Open Homomorphisms of Global Solvably Closed Galois Groups

    · Preprint, not peer reviewed · PDF

    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

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

All 31 results in Number theory →