💡Erdosproblems.com Shifts Focus Amid AI Proof Flood
Erdosproblems.com ditches problem statuses for AI-proof links
TL;DR
Erdosproblems.com, a barometer for AI in math, is shifting focus to high-quality expositions and links to formal proofs, as AI-generated proofs flood the site without explanation.
Erdosproblems.com, a site tracking AI capabilities in math, is changing its approach. It will no longer display problem statuses or credit solutions, focusing instead on high-quality expositions of proofs. The shift comes as the site sees a decline in human-led discussions and an increase in AI-generated proofs without explanation. Since its launch in 2023, the site has seen over 9000 comments and almost 2000 registered users, with daily unique visitors ranging from 10,000 to 25,000. The change aims to promote Erdős-style mathematics and support the human community.
Key Points
Erdosproblems.com has over 9000 comments and almost 2000 registered users since its 2023 launch.
The site sees between 10,000 and 25,000 unique visitors daily, growing steadily since its launch.
Erdosproblems.com will no longer display problem statuses or credit solutions, focusing on quality expositions.
The site has seen a decline in human-led discussions and an increase in AI-generated proofs without explanation.
Erdosproblems.com will remain open to comments on general threads and blog posts, updating manually as needed.
Why It Matters
If you're tracking AI's impact on math, Erdosproblems.com's shift is a clear signal. The site's new focus on high-quality expositions and links to formal proofs reflects a broader trend in how AI is changing mathematical discourse. This shift affects researchers and mathematicians who rely on the site for insights into AI-generated proofs and Erdős-style problem-solving.
Comments
Be the first to comment
Enjoyed this article?
Get it daily. 7am. Free. Reads in 5 minutes.