Los mercados de modelos de IA albergan proveedores con costos y capacidades heterogéneos, y esas diferencias abren una oportunidad para el arbitraje computacional: un intermediario compra inferencia de una cartera de modelos y la revende a los usuarios con beneficio. Trabajos previos de Olmedo et al. (2026) demostraron empíricamente que dicho arbitraje es viable para conjuntos pequeños de modelos. Un nuevo artículo, «Circunvenir la dificultad computacional del arbitraje computacional» (arXiv:2610.40831v1), aborda qué se necesita para escalar el enfoque a mercados grandes, donde las estrategias de arbitraje deben ser computacionalmente tratables y baratas de identificar y desplegar.
El artículo ilustra la dispersión de precios subyacente con cifras de Terminal-Bench: alcanzar una tasa de resolución del 40 % puede costar desde menos de un dólar hasta más de 60 dólares, mientras que alcanzar el 70 % puede costar desde aproximadamente 10 dólares hasta más de 180 dólares. Los autores señalan que el arbitraje computacional aún no se despliega a escala porque un arbitrajista debe decidir cómo dividir un presupuesto de inferencia entre modelos a medida que crece su número, debe elegir el orden en que consultarlos para evitar gastos innecesarios y debe saber cómo varía la probabilidad de éxito de cada modelo con las consultas y el presupuesto —cantidades que el artículo describe como generalmente no disponibles y prohibitivamente caras de estimar mediante llamadas pagadas a modelos.
El trabajo formaliza el arbitraje como un problema de asignación de presupuesto en el que el intermediario elige una asignación independiente de la consulta entre modelos para maximizar la probabilidad de que al menos una salida sea aceptada, sujeto a un presupuesto total, suponiendo que las salidas de los modelos son condicionalmente independientes dada la consulta. Los autores demuestran que el problema es NP-difícil en general. Luego muestran que, bajo el supuesto 1 —que la reducción logarítmica de fallos comprada a cada modelo es no decreciente y cóncava en el gasto, formalizando los rendimientos decrecientes del cómputo de inferencia—, el objetivo es conjuntamente cóncavo y existe un óptimo global, caracterizado por las condiciones KKT y hallado eficientemente mediante ascenso cíclico por coordenadas sobre el lagrangiano. Los autores llaman frontera de arbitraje al mapa resultante del presupuesto a la mejor tasa de resolución alcanzable; en mercados con hasta 70 modelos, trazar la frontera completa con su método tarda menos de medio segundo, mientras que la búsqueda exhaustiva en cuadrícula usada en trabajos anteriores sería computacionalmente inviable a esa escala. El artículo señala que rendimientos decrecientes de este tipo se han observado empíricamente para el muestreo repetido, el razonamiento de cadena de pensamiento y el postentrenamiento.
Las condiciones KKT arrojan varias implicaciones económicas. En el óptimo, cada modelo financiado entrega la misma utilidad marginal por dólar, de modo que reasignar presupuesto entre los modelos financiados no puede aumentar la utilidad. El arbitraje desvía ingresos de proveedores que ofrecen poca utilidad en relación con sus precios —aquellos cuya utilidad marginal por dólar cae por debajo del precio sombra no reciben ingresos en absoluto—, lo que, según los autores, disciplina los precios independientemente del esquema de facturación que adopte un proveedor. La regla de asignación también recompensa la especialización complementaria: para una mejora promedio fija, un proveedor gana más si se dirige a consultas en las que es probable que otros modelos fallen.
En cuanto al despliegue, el artículo muestra que el arbitrajista puede reducir los costos realizados consultando secuencialmente los modelos financiados y deteniéndose una vez que se encuentra una solución aceptable, ya que el orden afecta el gasto sin cambiar la probabilidad de éxito de la asignación. Encontrar el orden fijo óptimo es en sí mismo NP-difícil, por lo que los autores desarrollan una regla codiciosa que prioriza los modelos con la mayor utilidad esperada por costo en las consultas que los modelos anteriores no acertaron. En los distintos benchmarks, el ordenamiento codicioso sigue de cerca el mejor orden encontrado por búsqueda exhaustiva.
Para la estimación, los autores adaptan estimadores de Bayes empírico, apoyándose en estrategias distribucionales para predecir el escalado en tiempo de inferencia, a fin de recuperar curvas de utilidad a nivel de consulta a partir de datos limitados y reducir el costo inicial de identificar estrategias de arbitraje. En seis benchmarks, un arbitrajista que usa este método alcanza casi la misma tasa de resolución que uno que estima las curvas a partir de una cantidad de datos varios órdenes de magnitud mayor. En cuatro benchmarks agénticos y de programación, la estrategia logra una mejor relación costo-rendimiento que cualquier modelo individual, según el artículo, que afirma que el código y los datos están disponibles en GitHub.
Fuentes: arXiv cs.AI.