Number theory·OpenAI Math·Result 019
The local p-adic section conjecture and global consequences
One of the 372 results in OpenAI's public mathematics catalogue, filed under number theory: 2 preprints, the latest dated 6 October 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and will embed the animation.
Latest paper
Étale covers with a prescribed exterior sheet
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
What OpenAI claims
Proves that rational points on every smooth proper geometrically connected curve of genus at least two over a finite extension of ℚp correspond bijectively to conjugacy classes of sections of its full arithmetic étale fundamental group. It also proves Grothendieck's section conjecture over ℚ for the modular curves X0(N) and X1(N) of genus at least two.
Papers (2)
Étale covers with a prescribed exterior sheet
Let X be a smooth proper hyperbolic curve over an algebraic closure of a p-adic local field. Given finitely many disjoint small open disks, we construct one connected finite étale cover with a sheet isomorphic to their entire exterior and with degree divisible by p on every connected component above each disk.
The p-adic section conjecture
We prove the local p-adic section conjecture for smooth proper geometrically connected curves of genus at least two, over every finite extension of ℚp. Combined with established finite-descent theorems, this also yields the global section conjecture for smooth proper geometrically connected curves of genus at least two over number fields when their finite-cover descent locus equals their rational points; this includes X0(N) and X1(N) of genus at least two over ℚ.
Status
Preprint. The papers have 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
- 020Squarefree quartics and power-free polynomial valuesLean
- 021A quadratic bound for Jacobsthal’s functionLean
- 022The weak inhomogeneous Duffin–Schaeffer conjecture
- 023Patterson's first moment for cubic Gauss sumsLean
- 024An asymptotic formula for the number of totientsLean
- 025Short Egyptian fractionsLean