Mathematicians publish explainer for the Egyptian fraction proof in OpenAI's proofs collection

burny_tech · x · 2026-10-16

Thomas Bloom and Wouter van Doorn wrote a short paper explaining the 'Egyptian fraction' paper included in OpenAI's recent proofs collection. They admit it's not the most important of the recent proofs, but it's a favorite topic of theirs — and of Erdős — and the thread walks through several comments on the result.

Original post →

More from Research

Research channel →