A new blog post by @AcerFur, describing his experience as a pioneer of using AI tools to solve Erdős problems: