Erdosproblems.com
AI overview
Sign in and the AI will write an overview from our coverage.
Headlines · 1
- Erdosproblems.com freezes proof claims amid AI-generated math submissions
Erdosproblems.com founder Thomas Bloom says the site will freeze new problem comments and proof claims following a wave of AI-generated submissions, many without explanations. The site will also remove problem statuses and credit-oriented language, while emphasizing high-quality expositions and formalizations.
Hacker News · AI(100+ 分) · 🔥 3
Experience and discussion from the community
Share my Erdosproblems.com experienceAsk about Erdosproblems.com
Nobody has shared their experience with Erdosproblems.com yet.