Mathematical Exploration and Discovery at Scale
17 days ago
- #AI
- #mathematics
- #optimization
- Collaboration with Google Deepmind using AlphaEvolve tool for mathematical exploration.
- AlphaEvolve evolves computer code via LLM to generate inputs for optimization problems.
- Tested on 67 math problems in analysis, combinatorics, and geometry.
- Advantages include scalability, robustness, and interpretability of solutions.
- AlphaEvolve found exact solutions in some cases, like the Talenti function.
- Struggled with analytic number theory problems but excelled in algebraic structures.
- Discovered new constructions for finite field Kakeya and Nikodym sets.
- Potential for systematic recording of negative results in mathematical research.