Cette observation de Terry Tao rejoint nos recherches sur les modèles linguistiques logiques (LLM) appliqués à la science. Nos recherches montrent que les LLM peuvent identifier de nouvelles voies de synthèse de produits naturels complexes, mais uniquement lorsqu'ils sont étayés par des logiciels de vérification et des contrôles humains rigoureux. https://t.co/2rgM6wYNJo
Voici un lien vers narxiv.org/abs/2507.07060t.co/SHi2BOVa1y