What the Machine Invented: Mining New Mathematical Instruments from OpenAI's October 2026 Release of AI-Generated Mathematics
math.HO, cs.AI
Submitted: 2026-10-12
Updated: 2026-10-12
Related papers
- Benchmarks in Leipzig
- 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