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.
Conjectures are always assumed to be true until a counter-example could be found/constructed. That's why they are an interesting conjecture in the first place.
bee_rider · · focus · HN ↗
tha_hnrain · · focus · HN ↗
bee_rider · · focus · HN ↗
<a href="https://news.ycombinator.com/item?id=49748998">https://news.ycombinator.com/item?id=49748998
Make for a funny pairing.