Comment by amelius 2 days ago Next step: "the AI can't find a counterexample, so the conjecture must be true!" 1 comment amelius Reply ak_111 2 days ago This 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.
ak_111 2 days ago This 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.
This 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.