目前的技术可以帮助您找出化学结构式的合成路线。例如,像“Coscientist”这样的人工智能系统,当被问及能否合成某个分子时,它会首先在互联网上搜索相关的合成路线,然后根据搜索结果制定实验协议,接着将实验协议写成代码以指导自动化实验设备,最后由机器人执行实验任务。这个过程是可迭代的,能够根据实验结果调整协议以改进实验并实现预期目标。
另外,在一些研究中也提到,解决诸如寻找化学合成途径等问题遵循一定的模式,虽然在实际情况中相关的可能性图可能非常庞大,但可以通过一些常见的方法来应对挑战,比如为不同的可能状态或结果分配分数,只追求得分较高的路径;在自动定理证明中,也有从初始命题向下和从最终定理向上工作,试图找到中间的交汇路径等方法。同时,如果已经确定了从 X 到 Y 存在路径的“引理”,可以将 X → Y 作为新规则添加到规则集合中。