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.
Generally, no, but sometimes, yes.It can be productive to assume something is true and see what happens.
bee_rider · · focus · HN ↗
vouaobrasil · · focus · HN ↗
bmitc · · focus · HN ↗
It can be productive to assume something is true and see what happens.