{"id":21472,"date":"2026-04-13T10:19:11","date_gmt":"2026-04-13T14:19:11","guid":{"rendered":"https:\/\/www.crmath.ca\/page-calendrier\/abstracts-hyperbolic-2\/"},"modified":"2026-04-27T11:15:21","modified_gmt":"2026-04-27T15:15:21","slug":"abstracts-ai","status":"publish","type":"page-calendrier","link":"https:\/\/www.crmath.ca\/en\/page-calendrier\/abstracts-ai\/","title":{"rendered":"abstracts-AI"},"content":{"rendered":"

Evolving program here:\u00a0<\/a><\/h4>\n

<\/h4>\n

Jennifer Balakrishnan (Boston University)<\/h4>\n

Quadratic Chabauty in higher genus<\/p>\n

\nAbstract<\/summary>\n
\n
Determining rational points on modular curves is an important problem in arithmetic geometry; those curves which have Jacobian rank at least equal to the genus remain\u00a0the frontier. While\u00a0quadratic<\/span>\u00a0Chabauty<\/span>\u00a0can be an effective p-adic tool for computing rational points on certain modular curves where the rank of the Jacobian equals the genus, many of the underlying computations, such as computing a basis of de Rham cohomology, as well as the local height computations, become computationally prohibitive for higher genus non-split Cartan modular curves.\u00a0 We will discuss joint work in progress with Steffen Mueller and Jan Vonk, aided by Google Gemini, to find promising plane models for the genus 8 non-split Cartan modular curve\u00a0$X_^+(19)$\u00a0 and what remains to be done to complete the quadratic Chabauty computation.<\/div>\n<\/div>\n<\/details>\n

Barinder Banwait<\/h4>\n
Realizing cubic isogeny primes: AI-assisted experiments<\/div>\n
\nAbstract<\/summary>\n<\/details>\n
\n
\n

Mazur's celebrated 1978 theorem determines the complete list of primes $p$ such that some elliptic curve over $\\mathbb$ admits a rational $p$-isogeny. The natural strong uniformity analogue over degree-$d$ number fields \u2014 for each $d \\geq 2$, determine the (conjecturally finite) set of primes arising as a $k$-rational isogeny degree for some elliptic curve over some number field $k$ of degree $d$ \u2014 is an open problem, already out of reach for $d = 2$ and $d = 3$. Over odd-degree fields the usual \"non-CM\" caveat is automatic, making $d = 3$ a particularly clean target.In joint work with Maarten Derickx, we have developed an open-source tool, isogeny-primes, which for any number field $K$ computes a provably correct superset of its isogeny primes. Sweeping it across the cubic fields in the LMFDB yields a concrete finite upper bound for strong uniformity in degree 3. The remaining task is realization: for each candidate prime $p$, either exhibit a cubic field $K$ and an elliptic curve $E\/K$ witnessing $p$ as an isogeny degree, or rule it out \u00a0\u2014 equivalently, decide which $p$ admit a non-cuspidal cubic point on the modular curve $X_0(p)$.<\/p>\n

In this talk I'll describe an exploratory attempt to engage with this realization problem using contemporary AI tools: both as coding assistants for the classical computational attack on $X_0(p)$ (Chabauty\u2013Coleman, Mordell\u2013Weil sieve, explicit descent), and as lightweight predictors to help triage which candidate primes to pursue. I will present initial findings and some reflections on what this style of approach currently can and cannot contribute to problems of this flavour.<\/p>\n<\/div>\n

Gergely Berczi (Aarhus University)<\/h4>\n

A short tale of Stirling coefficients for symmetric powers<\/p>\n

\nAbstract<\/summary>\n<\/details>\n
\n
We study the Stirling coefficients of symmetric power representations, with the goal of understanding their structure, finding closed formulas, and testing the conjectural binomial patterns underlying them. The story unfolds in a strikingly modern way: AlphaEvolve and deep-learning based computations suggest formulas, LLM frontier models turn these into proofs and structural results, and the resulting picture with human insight leads to new conjectures as well as new computational experiments with AlphaEvolve.<\/div>\n
I will describe how this pipeline yields a proof of a strong form of the original conjecture, and in particular, I will present new rank-two binomial-positivity and log-concavity conjectures for the Schur coefficients, the partial results currently proved, and an AlphaEvolve setup aimed at the first genuinely open case.<\/div>\n<\/div>\n

Deines Alyson (CCR La Jolla)<\/h4>\n
Transfer Learning Rational L-functions<\/div>\n
<\/div>\n
\nAbstract<\/summary>\n

This talk will focus on the transfer learning of rational L-functions, specifically between classical modular forms, Bianchi modular forms, Hilbert modular forms, and genus 2 curves over the rationals.\u00a0 In these cases transfer learning (LDA, SVN, Neural Nets) performs quite well. However, when the LMFDB was updated last fall giving two more Bianchi modular forms, performance in one of the areas tanked: using LDA trained on L-functions originating from Bianchi modular forms and tested on the other types.\u00a0 In this talk we explore this anomaly.<\/p>\n<\/details>\n

Jordan Ellenberg (University of Wisconsin)<\/h4>\n

1-Human-machine iteration I: introduction<\/p>\n

\nAbstract<\/summary>\n

I will introduce the mechanisms of PatternBoost and funsearch\/AlphaEvolve and talk about my own experiences using these two protocols to produce material of mathematical interest. In all cases, the experience is one of cooperation between traditional and ML methods, often with repeated back and forth between the two. In this talk I'll also try to give a sense of which problems seem best suited to these methods as they exist in 2026. (Perhaps our work this week will broaden my answer to this questi<\/p>\n

2-Human-machine iteration II: generalization<\/p>\n

\nAbstract<\/summary>\n

I'll talk about the question of generalization: to what extent can we use ML methods to help us generate not only examples for single instances of a problem (e.g. a large capset in dimension 8) but to help with families of examples that would change our knowledge for the general case of a problem (e.g. an algorithm that for each n yields a large capset in dimension n.) I'll talk more specifically about a recent result using AlphaEvolve which ends in a theorem about large hypercubes in the Bruhat order on S_n, for arbitrary n.<\/p>\n

3-Summarizing our successes and failures<\/p>\n<\/details>\n

Kyu-Hwan Lee (University of Connecticut)<\/h4>\n
Reading a transformer's\u00a0mind<\/div>\n
\nAbstract<\/summary>\n

In this talk, I will discuss how one can interpret what a transformer has learned after training. The presentation will be based on two papers: arXiv:2502.10357 and arXiv:2511.12421.<\/p>\n

From Black Box to Bijection: Interpreting Machine Learning to Build a Zeta Map Algorithm<\/a><\/div>\n
Learning Euler factors of elliptic curves<\/a><\/div>\n<\/details>\n

Abbas Mehrabian (Google DeepMind)<\/h4>\n

AlphaEvolve user interface<\/p>\n

\nAbstract<\/summary>\n
I will introduce the AlphaEvolve user interface. Please bring your laptops so we can walk through a simple problem together. For a general introduction to AlphaEvolve and the problems it can address, please see https:\/\/arxiv.org\/abs\/2511.02864<\/a>.<\/div>\n<\/details>\n

Tom Oliver (University of Westminster)<\/h4>\n

Data Representation in Number Theory<\/p>\n

\nAbstract<\/summary>\n
Before applying machine learning or AI to number theory (or to any subject) we must first decide how the underlying objects should be represented as input to an algorithm. But what is the most meaningful representation of an arithmetic object? Is an integer N\u00a0best viewed simply as an integer, as a vector of residues modulo primes p, or through structures attached to N, such as the coefficients of an elliptic curve of conductor N? Is an elliptic curve a five-dimensional vector arising from a Weierstrass equation, an infinite-dimensional vector determined by its L-function, or a vector field derived from its L-function together with \u00a0its twists? Different representations reveal different patterns, and the choice of representation may determine what AI systems are able to learn and discover about arithmetic phenomena.<\/div>\n<\/details>\n

Alexey Pozdnyakov (Princeton University)<\/h4>\n

Three lessons from the murmurations discovery<\/p>\n

\nAbstract<\/summary>\n
We review the role that machine learning and data science played in the discovery of murmurations. We then highlight a few takeaways on AI for math from the project. Namely, we describe the crucial role of interpretability, the data-scientific perspective on mathematics, and the role played by theory or the lack thereof.<\/div>\n<\/details>\n

Andrew Sutherland (MIT)<\/h4>\n
Using generative AI to explore number-theoretic datasets<\/div>\n
\nAbstract<\/summary>\n

I will demonstrate two new tools that leverage the capabilities of generative AI to allow researchers to explore questions in number theory (and other fields) with much greater ease and flexibility than was previously possible.\u00a0 The first tool is AlphaEvolve and the second tool is a new LMFDB-MCP connector.\u00a0 I will give live demonstrations of both tools that I hope will facilitate exploration and discovery by workshop participants, both during and after the workshop.<\/p>\n<\/details>\n<\/details>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"author":14,"template":"","class_list":["post-21472","page-calendrier","type-page-calendrier","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/page-calendrier\/21472","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/page-calendrier"}],"about":[{"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/types\/page-calendrier"}],"author":[{"embeddable":true,"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/users\/14"}],"version-history":[{"count":25,"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/page-calendrier\/21472\/revisions"}],"predecessor-version":[{"id":21682,"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/page-calendrier\/21472\/revisions\/21682"}],"wp:attachment":[{"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/media?parent=21472"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}