Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-Enabled Mathematical Research
math.HO, cs.LG
Submitted: 2026-08-29
Updated: 2026-08-29
Related papers
- A unified interpretation of probability
- Remembering Solomon Marcus
- Math for AI safety: an invitation for mathematicians
- LLAMA LIMA: A Living Meta-Analysis on the Effects of Generative AI on Learning Mathematics
- A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCs
- If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics