Sabine: “You can brute-force counterexamples by just trying a lot of guesses quickly...”

I think this doesn't have much to do with AI. You can brute-force counterexamples by just trying a lot of guesses quickly, which is work you can do with a computer much more efficiently than with a human brain. Proving (or finding!) regularities is a different thing entirely.

I…

— Sabine Hossenfelder (@skdh) August 1, 2026