Erdosproblems.com Succumbs to the AI Onslaught
7 hours ago
- AI has rapidly evolved from being useless in mathematics to solving some of the hardest problems, significantly impacting the Erdős problems website.
- The site experienced both progress and negative effects, including mathematicians dismissing Erdős-style problems, reduced human engagement, and an influx of unexplained AI-generated solutions.
- Feedback revealed a large silent audience that benefited from the site, prompting changes to prioritize the human mathematical community over AI repositories.
- Changes include halting new problem comments and proof claims, removing problem statuses, ceasing credit-giving language, and emphasizing high-quality expositions of proofs.
- The goal is to preserve mathematics as a human activity, encouraging deep understanding and collaboration rather than gamified AI-driven proof claims.