The Ramanujan Challenge for AI · HackerLangs