OpenAI research collection · 3 manuscripts · Source checked 2026-10-19
OpenAI's result summary
Every continuous odd absolutely irreducible two-dimensional 2-adic representation of G_{\mathbb Q} unramified outside finitely many primes occurs in a completed Hecke algebra at some odd tame level. Also proves classical modularity up to Tate twist for irreducible odd representations with these finiteness conditions that are de Rham at 2 with distinct Hodge–Tate weights, resolving the dyadic Fontaine–Mazur case without residual restrictions.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
Unrestricted pro-modularity at the prime two
Every continuous, odd, absolutely irreducible two-dimensional 2-adic representation of G_{\mathbb Q} that is unramified outside finitely many finite primes occurs in the full completed Hecke algebra at some odd tame level. The level may contain auxiliary tame primes, and scalar and reducible residual representations are…
Full source abstract
Every continuous, odd, absolutely irreducible two-dimensional 2-adic representation of G_{\mathbb Q} that is unramified outside finitely many finite primes occurs in the full completed Hecke algebra at some odd tame level. The level may contain auxiliary tame primes, and scalar and reducible residual representations are included. This is a completed-Hecke occurrence result, with no de Rham hypothesis; it does not assert classical modularity.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
The Dimension of the Two-Adic Hecke Algebra at Odd Level
For every odd positive integer N, every irreducible component of the full two-adic Hecke algebra of level \Gamma_1(N) has Krull dimension four. This proves the p = 2 case of Emerton's dimension conjecture, including all residual components.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
We prove that every continuous, irreducible, odd two-dimensional 2-adic representation of G_{\mathbb Q}, unramified outside finitely many primes and de Rham at 2 with distinct Hodge–Tate weights, is modular up to Tate twist. This resolves the odd, regular two-dimensional Fontaine–Mazur conjecture over ℚ at 2, including all…
Full source abstract
We prove that every continuous, irreducible, odd two-dimensional 2-adic representation of G_{\mathbb Q}, unramified outside finitely many primes and de Rham at 2 with distinct Hodge–Tate weights, is modular up to Tate twist. This resolves the odd, regular two-dimensional Fontaine–Mazur conjecture over ℚ at 2, including all residual representations.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.