AI Claims Breakthrough on Erdős Problem Transcendence
inductionheads · x · 2026-08-24
The author provides a five-line proof for the irrationality of a specific Erdős problem series, verified in Lean. Subsequently, their AI model claimed to prove the transcendence of the entire affine family using techniques beyond current understanding. The code and paper are available on GitHub.
More from Apps
- Dev builds Copilot Isles: a pirate game teaching the GitHub Copilot beginners course — DanWahlin · 2026-10-15
- Chollet backs Gakku: conversational AI as the biggest education leap of our generation — fchollet · 2026-10-15
- He built 'Watch Tonight' with Eazo to pick movies by mood and available time — Aiden_Tech_Ai · 2026-10-15
- ERP AI launches Proto: 'headless SaaS' business software built for AI agents — Aiden_Tech_Ai · 2026-10-15
- Claude AI cheat sheet maps models, prompting templates, MCP, Skills and hooks in one infographic — Aiden_Tech_Ai · 2026-10-15
- Google turns dense academic PDFs into animated storybooks with Gemini, Nano Banana and Veo — CurieuxExplorer · 2026-10-15