01EntryItem

Archive

1. NewsCommunity8 Oct 2026score 181.7

   OpenAI withdraws three mathematical results

   HN thread (379 points, 609 comments) on OpenAI withdrawing three mathematical results, per the openai/math history.md; top comment asks whether the withdrawn proofs were the ones without Lean verification.

   SourceDetailsClawBytes post