Os marketplaces de modelos de IA hospedam provedores com custos e capacidades heterogêneos, e essas diferenças criam uma oportunidade para arbitragem computacional: um intermediário compra inferência de um portfólio de modelos e a revende a usuários com lucro. Trabalhos anteriores de Olmedo et al. (2026) demonstraram empiricamente que tal arbitragem é viável para pequenos pools de modelos. Um novo artigo, “Circumventing the Computational Hardness of Computational Arbitrage” (arXiv:2610.40831v1), aborda o que é necessário para escalar a abordagem para grandes marketplaces, onde estratégias de arbitragem devem ser computacionalmente tratáveis e baratas de identificar e implantar.
O artigo ilustra a dispersão de preços subjacente com números do Terminal-Bench: atingir uma taxa de resolução de 40% pode custar desde menos de um dólar até mais de US$ 60, enquanto atingir 70% pode custar de aproximadamente US$ 10 a mais de US$ 180. Os autores observam que a arbitragem computacional ainda não é implantada em escala porque um arbitrador precisa decidir como dividir um orçamento de inferência entre modelos à medida que seu número cresce, precisa escolher a ordem em que consultá-los para evitar gastos desnecessários e precisa saber como a probabilidade de sucesso de cada modelo varia com consultas e orçamento — quantidades que o artigo descreve como geralmente indisponíveis e proibitivamente caras de estimar por meio de chamadas pagas aos modelos.
O trabalho formaliza a arbitragem como um problema de alocação de orçamento no qual o intermediário escolhe uma alocação independente da consulta entre modelos para maximizar a probabilidade de que pelo menos uma saída seja aceita, sujeita a um orçamento total, assumindo que as saídas dos modelos são condicionalmente independentes dada a consulta. Os autores provam que o problema é geralmente NP-difícil. Eles então mostram que, sob a Suposição 1 — de que a redução do logaritmo de falha comprada de cada modelo é não decrescente e côncava em relação ao gasto, formalizando retornos decrescentes para o compute de inferência — o objetivo é conjuntamente côncavo e existe um ótimo global, caracterizado pelas condições KKT e encontrado eficientemente via ascensão coordenada cíclica sobre o Lagrangiano. Os autores chamam o mapa resultante de orçamento para a melhor taxa de resolução atingível de fronteira de arbitragem; em mercados com até 70 modelos, traçar a fronteira completa com seu método leva menos de meio segundo, enquanto a busca exaustiva em grade usada em trabalhos anteriores seria computacionalmente inviável nessa escala. O artigo observa que retornos decrescentes desse tipo foram observados empiricamente para amostragem repetida, raciocínio em cadeia de pensamento e pós-treinamento.
As condições KKT produzem várias implicações econômicas. No ótimo, todo modelo financiado entrega a mesma utilidade marginal por dólar, de modo que realocar orçamento entre modelos financiados não pode aumentar a utilidade. A arbitragem direciona receita para longe de provedores que oferecem pouca utilidade em relação a seus preços — aqueles cuja utilidade marginal por dólar fica abaixo do preço sombra não recebem receita alguma — o que, segundo os autores, disciplina a precificação independentemente do esquema de cobrança adotado por um provedor. A regra de alocação também recompensa especialização complementar: para uma melhoria média fixa, um provedor ganha mais ao mirar consultas nas quais outros modelos provavelmente falharão.
Em implantação, o artigo mostra que o arbitrador pode reduzir custos realizados consultando modelos financiados sequencialmente e parando assim que uma solução aceitável for encontrada, já que a ordem afeta o gasto sem alterar a probabilidade de sucesso da alocação. Encontrar a ordem fixa ótima é, por si só, NP-difícil, então os autores desenvolvem uma regra gulosa que prioriza modelos com a maior utilidade esperada por custo em consultas perdidas por modelos anteriores. Em vários benchmarks, a ordenação gulosa acompanha de perto a melhor ordem encontrada por busca exaustiva.
Para estimação, os autores adaptam estimadores empíricos bayesianos, baseando-se em estratégias distribucionais para prever escalonamento no momento da inferência, a fim de recuperar curvas de utilidade no nível da consulta a partir de dados limitados e reduzir o custo inicial de identificar estratégias de arbitragem. Em seis benchmarks, um arbitrador usando esse método atinge quase a mesma taxa de resolução que um que estima as curvas a partir de uma quantidade de dados várias ordens de magnitude maior. Em quatro benchmarks agênticos e de codificação, a estratégia alcança uma melhor relação custo-desempenho do que qualquer modelo individual, segundo o artigo, que afirma que código e dados estão disponíveis no GitHub.
Fontes: arXiv cs.AI.