D. Kanevsky

collaborators

2 papers

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…

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