and computer science to generate candidate computer programs, proofs, constructions, or algorithms.

In 2023, Google DeepMind introduced FunSearch, a method for creating computer programs that solve mathematical and algorithmic problems. FunSearch was used to discover new mathematical constructions in