2 ms·
Aaronson & co. found recently new apporach: An Automated Approach to the Collatz Conjecture, by Emre Yolcu, Scott Aaronson, Marijn J.H. Heule https://arxiv.org
by nabla9 5y ago
Aaronson & co. found recently new apporach:
An Automated Approach to the Collatz Conjecture, by Emre Yolcu, Scott Aaronson, Marijn J.H. Heule
https://arxiv.org/abs/2105.14697 https://arxiv.org/abs/2105.14697
- belter 5y agoInteresting. Thanks for the reference.