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
- High-frequency Prompt: Explain in simple, non-jargon terms — jarrodwatts · 2026-08-24
- ComfyUI Queue manager helper: pause, save, and reorder jobs — seeker_ktf · 2026-08-24
- Seeking stack advice for building an AI WhatsApp assistant for small businesses — aarondiaz92 · 2026-08-24
- LTX 2.5 tip: Use starting images to fix mouth generation issues — cocktailpeanut · 2026-08-24
- Color Schema Hard Mode: Choosing a Sacrificial Color for Plotting Points — moultano · 2026-08-24
- ChatGPT Work fought Uber support through two rejections and won $95.46 in credits — nickbaumann_ · 2026-08-24