Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean #1 Post by asparagui » Fri, Jun 26, 2026, 7:32 PM UTC Erdős problem #870 solved with ChatGPT-5.5-Pro and Leantwitter.com