1) One big challenge in synthesis is ensuring compound purity. Even when I was working in pharma, it was often the case that some of the compounds in the screening library could be contaminated with intermediates. This is murder for any kind of anti-infectives research because you end up with false-positives for toxic intermediates. Since your assay is often, "does the compound kill the bug?" the answer for most chemicals is, "yes!". How do you ensure the purity of what you deliver to your customers? If I'm a medicinal chemist wanting to try this, I want to know that I'm not getting a vial of brick dust back.
2) Just because you have a mechanism to synthesize, doesn't mean the yield is going to be great. Does your algorithm factor in yield when selecting the route?
3) When I started reading your post I thought, "Hats off to these folks, this is a super hard problem that no shortage of extremely smart people have spent years trying to solve." Then I got to the moonshot section! The number of small molecule antiviral drugs with efficacy is vanishingly small. I understand why you would try to tackle this, but it truly is a moonshot.
4) I can't help but wonder what Derek Lowe (https://blogs.sciencemag.org/pipeline/) thinks of all this, have you guys tried to reach out to him?