AI Contributions to Erdős Problems #1 Post by fdeage » Sun, Jan 18, 2026, 11:07 PM UTC AI Contributions to Erdős Problemsgithub.com