The application of AI tools to Erdos problems passes a milestonemathstodon.xyz1 pointColinWright6 months ago