Comment by gimlichgu

maybe, or maybe some problems turn out to be reasonably defeatable by educated guess brute forcing with lots of compute and big models pointing the search in reasonable directions.