I want to dwell on this a bit. Some of these problems were tackled by some of the smartest humans on the planet for maybe 10+ years and they couldn't solve them. Now a model worked for 3 hours per problem and solved 100s of them. Even assuming that ChatGPT Pro is ~10