Comment by bee_rider

I wonder if we’ll end up in a weird situation a decade from now, where every conjecture will collapse into one of two states: counterexample found by AI, or assumed to be true.