pseudolus@pseudolus · 1 worksWrites about AI solving mathematical problems, including the Erdős conjecture.