Erdosproblems.com Succumbs to the AI Onslaught (www.erdosproblems.com)

Erdosproblems.com, a platform dedicated to promoting Erdős-style mathematics, is undergoing significant changes due to the rising influence of AI in solving mathematical problems. Founded in May 2023, the site initially thrived as a community hub for discussing and exploring complex mathematical queries. However, the recent surge in AI-generated solutions has created challenges, as many mathematicians now feel disheartened, believing they cannot compete with AI's capabilities. This shift has led to an influx of AI-produced proofs lacking detailed explanations, diminishing the collaborative and educational atmosphere that the site aimed to nurture. In response, the founder has announced a series of changes aimed at refocusing the site’s mission. This includes a hiatus on new problem comments and proof claims, the removal of problem status displays, and a shift toward emphasizing high-quality human expositions of proofs. The site will continue to serve as a resource for Erdős problems, fostering genuine human inquiry and understanding rather than simply recording AI-generated results. By implementing these measures, the founder hopes to rekindle interest and engagement among mathematicians, ensuring that the site remains a place for learning and meaningful discourse in an age increasingly dominated by AI advancements.