D. Kanevsky

activity

20002026

collaborators

Showing 2026Show all

3 papers · 1 filter

cs.LG2026

Continuous Optimization for p-adic Models

Julian Salazar, Dimitri Kanevsky, Matt Harvey +2

We present the first method for native, continuous gradient descent for machine learning models with $p$ -adic parameters. Existing native optimizers are discrete, mostly combinator…

cs.AI2026

AI co-mathematician: Accelerating mathematicians with agentic AI

Daniel Zheng, Ingrid von Glehn, Yori Zwols +15

We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to prov…

math.AG2026

$R$ -equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal Equivalence

Dimitri Kanevsky, Julian Salazar, Matt Harvey

Let $V$ be a smooth cubic surface over a $p$ -adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$ -equivalence is trivial on $V (k)$ except perhaps if $V$ is on…

Continuous Optimization for p-adic Models

AI co-mathematician: Accelerating mathematicians with agentic AI

R-equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal Equivalence

$R$ -equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal Equivalence