4 papers
cs.AI2026
OEIS Open: How many conjectures can language models turn into theorems?
Tom Adamczewski
We construct OEIS Open, a benchmark based on 492 open mathematical conjectures from the OEIS, formalized in Lean by Tsoukalas et al. Whereas these conjectures had previously been a…
math.NT2026
Is there a Birch and Swinnerton-Dyer conjecture for Dedekind zeta functions?
Christopher Deninger
A Birch and Swinnerton-Dyer conjecture for number fields would assert that for some vector space functorially attached to . P…
math.AG2026
A remark on the vanishing of Higgs fields in the -adic Simpson correspondence
Christopher Deninger, Deepak Kamlesh
We give a condition on a -adic representation of the fundamental group of a curve over which ensures that under the -adic Simpson correspondence the…
math.AC2025
Rational Witt vectors and associated sheaves
Christopher Deninger
We study the sheafification of and of the maps and $W_{\mathrm{rat}} (\math…