Is AI solving open Erdős problems? #1 Post by fahrbach » Thu, Jan 08, 2026, 9:37 PM UTC Is AI solving open Erdős problems?zeyu-zheng.github.io