Esta é uma observação de Terry Tao que se alinha com nossa pesquisa sobre LLMs para a ciência. Em nossa pesquisa, observamos que os LLMs podem encontrar novas vias sintéticas para produtos naturais complexos, mas somente quando apoiados por softwares de verificação robustos e checagem humana. https://t.co/2rgM6wYNJo
Link para o nosso ararxiv.org/abs/2507.07060BOVa1y