D. Kanevsky

collaborators

4 papers

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…

math.NT2021

An example of a non-associative Moufang loop of point classes on a cubic surface

Dimitri Kanevsky

Let $V$ be a cubic surface defined by the equation $T_{0}^{3} + T_{1}^{3} + T_{2}^{3} + θ T_{3}^{3} = 0$ over a quadratic extension of 3-adic numbers $k = Q_{3} (θ)$ , where $θ^{3} = 1$ . We show that a rela…

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

An example of a non-associative Moufang loop of point classes on a cubic surface

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