R-equivalence on certain cubic surfaces is either trivial or has exponent 2, settling Manin's 1972 question about the diagonal cubic—and this work demonstrates how AI can assist in formal mathematical reasoning.
This paper studies R-equivalence on cubic surfaces over p-adic fields, proving it's trivial or has exponent 2 for surfaces with all-Eckardt reductions. The authors resolve a 50-year-old question about a specific diagonal cubic and use AI models to assist with proofs and lemma verification.