Comment Comment by amelius Next step: "the AI can't find a counterexample, so the conjecture must be true!" parent amelius 3 months ago
