skip to main content
Caltech
Home  /  About  /  News  /  AI Program Plays the Long Game to Solve Decades-Old Math Problems

AI Program Plays the Long Game to Solve Decades-Old Math Problems

February 13, 2025