OpenAI's model autonomously solves famous Erdos problem

Timothy Moy reflects on what OpenAI's recent breakthrough could mean for the future of mathematics