Computers are now better than humans at logical games and puzzles such as Sudoku, Chess, Go and so on. Mathematics can also be framed as a logical puzzle game. When will computers become better than humans at developing new mathematics and proving new theorems? Certainly this has not happened yet, ...
