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.
bee_rider · · focus · HN ↗
vouaobrasil · · focus · HN ↗
scrubs · · focus · HN ↗