src-georgiev-2025-math-discovery-at-scale source
Mathematical exploration and discovery at scale
locator
notes
AlphaEvolve applied to 67 problems in analysis, combinatorics, geometry and number theory; mostly rediscovers best known constructions, improves several, sometimes generalizes finite results to formulas.