LO
Capacidade técnicaAutomatização cognitiva2024-04-18
Entregar o planeamento de viagens a um solucionador formal elevou o sucesso para 93,9%, contra 10% do o1-preview sozinho, relatou um estudo
Agente / consultor de viagenspágina da profissão →
Data do facto / publicação
2024-04-18
Categoria da prova
Capacidade técnicaUma demonstração, um referencial ou um artigo mostram que a tarefa pode ser feita. Atualiza o que a tecnologia consegue fazer, não o que as empresas vão fazer.
Tarefas sobre as quais incide
Montar itinerários complexos
Encaixar voos, hotéis, transferes e orçamentos num só plano que cumpra todas as restrições.
Aumentada pela máquina✓ Com prova
Onde é que isto se aplica
Um estudo em que um modelo de linguagem traduz pedidos de viagem em problemas de satisfação de restrições para solucionadores formais. No TravelPlanner, relata que o melhor modelo, o o1-preview, encontra planos viáveis em 10% dos casos por si só, e que a estrutura atinge uma taxa de sucesso de 93,9%, com generalização a restrições nunca vistas. Um ambiente de teste com um solucionador, não reservas reais.
O que isto significa
Os itinerários complexos tornam-se resolúveis quando o modelo entrega as restrições a um solucionador — a parte difícil passa a ser enunciar as restrições corretamente.
O que ainda não mostra
Uma estrutura de investigação num benchmark; não mostra implementação em agências.
O que podes verificar
Abre o arXiv 2404.11891 e procura «success rate of 93.9%».
Muda a avaliação?
Não, e esta categoria também não o move. Um registo de «Capacidade técnica» é prova a sério, mas por si só não sobe um juízo de tarefa. 1 juízo ligado em cima ficam onde estavam.
Fonte
Hao et al. — Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools (arXiv 2404.11891, submitted 18 Apr 2024) · verificado 2026-09-30 · Claude (VOLO agent) · interpretado 2026-09-30 · Claude (VOLO agent)
Fonte primária: publicada pela parte que fez isto, ou pela autoridade de referência. Não precisa de coassinatura.