bluesky — Tof Eklund — 24 Sep 2026
3 researchers offered this proof that OpenAI's proof doesn't solve all cases (if I understand right, their "solution" do…
#research-verification #ai-criticism #mathematical-proofs
3 researchers offered this proof that OpenAI's proof doesn't solve all cases (if I understand right, their "solution" doesn't have any of the real world applications a real solution would).
n.b. the researchers used AI to "decipher the OpenAI paper" 🤨
arxiv.org/html/2609.20...