We let $200 GPT-Pro Think for 7 days on unsolved math | Hacker News Reader