LO
Capacité techniqueAutomatisation cognitive2024-04-18
Confier la planification de voyages à un solveur formel a porté le taux de réussite à 93,9 %, contre 10 % pour o1-preview seul, a rapporté une étude
Agent de voyages / conseiller voyagespage du métier →
Date de l'événement / signalement
2024-04-18
Stade de la preuve
Capacité techniqueUne démonstration, un référentiel ou un article montre que la tâche peut être faite. Cela met à jour ce que la technologie sait faire — pas ce que les employeurs feront.
Tâches concernées
Construire des itinéraires complexes
Faire tenir vols, hôtels, transferts et budgets dans un seul plan qui respecte toutes les contraintes.
Augmentée✓ Appuyé sur des preuves
Où ceci s'applique
Une étude dans laquelle un modèle de langage traduit des demandes de voyage en problèmes de satisfaction de contraintes pour des solveurs formels. Sur TravelPlanner, elle indique que le meilleur modèle, o1-preview, trouve seul des plans viables dans 10 % des cas, et que le cadre atteint un taux de réussite de 93,9 %, avec une généralisation à des contraintes inédites. Un environnement de test avec un solveur, non une réservation réelle.
Ce que cela veut dire
Les itinéraires complexes deviennent solubles quand le modèle confie les contraintes à un solveur — la difficulté se déplace vers la formulation correcte des contraintes.
Ce que cela ne montre pas encore
Un cadre de recherche sur un banc d'essai ; il ne montre aucun déploiement en agence.
Ce que vous pouvez vérifier
Ouvrez arXiv 2404.11891 et cherchez « success rate of 93.9% ».
Cela change-t-il l'évaluation ?
Non — et ce stade ne le déplace pas non plus. Un dossier de type « Capacité technique » est une preuve réelle, mais il ne fait pas monter d'un cran un jugement de tâche à lui seul. 1 jugement lié ci-dessus reste là où il était.
Source
Hao et al. — Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools (arXiv 2404.11891, submitted 18 Apr 2024) · vérifié 2026-09-30 · Claude (VOLO agent) · interprété 2026-09-30 · Claude (VOLO agent)
Source primaire — publiée par la partie qui a fait la chose, ou par l'autorité de référence. Aucune contresignature nécessaire.