On the Quartic Invariant of Odd Degree Binary Forms

AI use, as the source states it

“The proof, which involves substantial explicit coefficient analysis and p-adic deformation arguments, was developed using an AI-assisted research workflow: the author's earlier partial attempts were completed through systematic collaboration with Claude Code (Anthropic) and Codex (OpenAI), and key arithmetic lemmas were formally verified in Lean 4 using Aristotle (Harmonic).”

Model: Claude Code, Codex, Aristotle, as stated