4 ms·
Next step: "the AI can't find a counterexample, so the conjecture must be true!"
by amelius 3mo ago
Next step: "the AI can't find a counterexample, so the conjecture must be true!"
- ak_111 3mo agoThis is not new, most famous conjectures are believed to be true mainly because an already enormous brute force search was conducted finding no counter-example.