Erdős Problems freezes proof submissions as AI output overwhelms human discussion
A mathematics reference site is redesigning participation after machine-made proofs displaced the discussion it was built to foster.
The operator of Erdős Problems says AI-generated proof announcements now dominate submissions to a service receiving 10,000–25,000 unique visitors a day. The site is freezing new problem comments and proof claims, removing problem statuses and credit language, and shifting its effort toward selected high-quality expositions. Specialist information services may need to replace open contribution signals with heavier curation when abundant agent output overwhelms the human participation that gives a knowledge community value.