lf88
11 hours ago
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
ryanpettry
8 hours ago
AI-generated proofs & contributions can be recorded separately at erdosproblems.ai which is a reasonable solution to the issues that Thomas has identified.