AI System FunSearch Makes Mathematical Progress on Card Game Problems, Enabling Human-AI Collaboration
• AI system FunSearch makes progress on math problems related to the card game Set, going beyond what mathematicians had done before • It works by automatically generating computer programs to find solutions, using a large language model • FunSearch improved on the lower bound for the 'cap set problem' when n=8 • Its solutions can be inspected, allowing human-AI collaboration, unlike black box AI • The inventors see it as a creativity engine and force multiplier for mathematicians, not a replacement