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

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