Full threadamelius·Next step: "the AI can't find a counterexample, so the conjecture must be true!"View on HN