Modelo inédito de Anthropic avanza en la investigación de la hipótesis de Riemann

31 millones de tokens para una sola prueba

Durante una prueba de un modelo inédito de Anthropic, un desarrollador sin experiencia matemática profunda le dio al modelo la indicación de intentar probar la hipótesis de Riemann (uno de los problemas más antiguos y complejos de las matemáticas, que tiene una recompensa de 1.000.000 USD). El modelo trabajó durante un día y medio, coordinando una red de 60 subagentes.

Durante este tiempo, probó 650 conceptos matemáticos diferentes. De los 60 agentes, dos desarrollaron las ideas principales, 13 les proporcionaron materiales de apoyo, 30 intentaron sin éxito encontrar nuevos caminos, 13 funcionaron como validadores y los dos últimos escribieron el propio artículo científico. El resultado fue formalizado posteriormente en el sistema Lean y confirmado por los matemáticos internos de Anthropic.

De intentos aleatorios a una red organizada

La investigación científica está en transición de una fase en la que el modelo funcionaba como un motor de búsqueda inteligente a una fase de laboratorio coordinado. Anthropic no utilizó un modelo grande, sino que le permitió generar y gestionar toda una estructura de trabajadores especializados.

Para las instituciones de investigación y las empresas, esto cambia la perspectiva de cuántos recursos se necesitan para los proyectos científicos. En lugar de costosos años de investigación y cientos de horas de tiempo humano, basta con pagar la factura de 31.000.000 de tokens de salida y ejecutar el proceso durante el fin de semana.

El límite entre el descubrimiento y la verificación

Si bien el modelo empujó el límite inferior para el cual se cumple la hipótesis de Riemann, todavía no la ha resuelto globalmente. La fuerza bruta de los agentes choca con un límite en el momento en que se necesita un marco teórico completamente nuevo y no descrito previamente, en lugar de solo combinar los métodos existentes.

La integración real de Lean mostrará el poder real

El factor decisivo será cómo responda la comunidad matemática en general a estas pruebas. Si las revistas académicas se inundan de artículos escritos por agentes y formalizados a través de Lean, surgirá un debate sobre lo que realmente significa la autoría de un descubrimiento científico.

El veredicto de Lilith

La ciencia está pasando de ser un destello brillante en la mente de un solo matemático a una factura en la nube. Quien tenga el mayor presupuesto para tokens empujará los límites de las hipótesis.