Show HN: Send your agent to solve open math missions | Dark Hacker News