← Back to context

Comment by shiandow

11 hours ago

In a way I'm not entirely sure if proving the conjecture or posing it is the most important part here. It used to not matter much because proving results dependent on a connecture and making progress towards solving it were considered mostly equivalent.

But the distinction is going to become relevant very soon if many conjectures can be resolved (albeit in inscrutable fashion) by throwing raw computational resources at it.