The Ramanujan Challenge for AI | Dark Hacker News