New site for AI math problems

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