New site for AI math problems
erdosproblems.ai
1 thread
Creating this new website seems quite tasteless to me. It's worth reading this post that explains why the original website got rid of the gamified approach that the new website promotes: https://www.erdosproblems.com/forum/thread/blog:9
AI-generated proofs & contributions can be recorded separately at erdosproblems.ai which is a reasonable solution to the issues that Thomas has identified.