Ett nytt blogginlägg av @AcerFur, där han beskriver sin erfarenhet som pionjär inom att använda AI-verktyg för att lösa Erdős problem: