Is AI solving open Erdős problems?
zeyu-zheng.github.io