Bright key facts / Demonstrated
New paths through mathematics.
FunSearch combined language models with program evaluation to discover mathematical constructions.
- AI’s role
- Generated programs were tested, selected, and iteratively improved.
- Documented result
- The study found new constructions for the cap set problem and useful packing heuristics.
- Important limitation
- The approach depends on an evaluator; it is not a general proof engine.