DEEPMIND AI OUTDOES HUMAN MATHEMATICIANS ON UNSOLVED PROBLEM

Summary from the TLDR newsletter

FunSearch is an AI system that can interact with a specially trained large language model to create short computer programs that generate solutions to math problems. The system checks to see whether these solutions are better than known ones, and if not, it provides feedback to the LLM so that it can improve in the next round. It was able to discover new solutions to an old problem. One important feature of FunSearch is that people can see the code created by the model and learn from it.