1
Please see the first reply in https://www.ramanujanmachine.com/idea/proof-extension-for-the-1st-3rd-conjecture-in–results/
Using algorithms to discover new mathematics
Please see the first reply in https://www.ramanujanmachine.com/idea/proof-extension-for-the-1st-3rd-conjecture-in–results/