Por Canuto  

Un modelo inédito de Anthropic logró mejorar el límite inferior de la hipótesis de Riemann tras probar 650 ideas y coordinar 60 subagentes, con un costo de USD $31 millones. El avance reabre el debate sobre el rol de la IA en la investigación matemática.
***

  • El modelo de Anthropic aumentó el límite inferior de la hipótesis de Riemann, sin resolverla por completo.
  • La IA coordinó 60 subagentes y gastó USD $31 millones para probar 650 ideas en un día y medio.
  • La comunidad matemática se divide sobre la atribución de las pruebas generadas por IA.

La hipótesis de Riemann es uno de los problemas abiertos más célebres de las matemáticas. Desde 1859, intenta describir la distribución de los números primos a través de la función zeta.

El Clay Mathematics Institute ofrece USD $1 millón por una demostración válida. Hasta ahora, el premio sigue sin reclamarse.

El lunes, Anthropic anunció que un modelo aún no publicado logró un avance significativo en la hipótesis. El resultado aumenta considerablemente el límite inferior de soluciones para las cuales la hipótesis se cumple.

Aunque no resuelve el problema completo, representa un paso concreto en una de las fronteras más antiguas del conocimiento.

Un avance orquestado por una IA

El anuncio de Anthropic detalla que un miembro del personal sin formación matemática significativa le pidió al modelo que hiciera un intento serio. Luego, el modelo coordinó la tarea durante un día y medio.

En total, el modelo probó 650 ideas diferentes y coordinó a 60 subagentes. Según TechCrunch, dos subagentes fueron responsables de desarrollar las ideas matemáticas clave.

Trece subagentes contribuyeron con ideas, mientras que treinta intentaron sin éxito. Trece actuaron como validadores para comprobar la corrección de los argumentos.

Los dos últimos subagentes ayudaron a escribir el artículo inicial. El costo total del experimento fue de USD $31 millones.

La verificación fue realizada por dos matemáticos internos de Anthropic y formalizada con el asistente Lean. Esto asegura una validación lógica rigurosa de los argumentos.

El resultado fue confirmado de manera independiente por los matemáticos de la empresa. Aún no se ha publicado un documento formal revisado por pares, pero el hallazgo ya generó expectativas.

Una tendencia creciente en la investigación matemática

Este avance no ocurre en el vacío. En los últimos meses, varios problemas matemáticos fueron atacados con éxito por modelos de lenguaje de gran escala.

Por ejemplo, varios problemas de Erdős fueron resueltos por IA durante este año. Además, OpenAI publicó un conjunto de diez resultados importantes demostrados por su modelo interno Astra.

Anthropic también refutó la conjetura de Jacobi en un esfuerzo separado. Estos logros señalan que los LLM están comenzando a producir resultados matemáticos originales.

La comunidad matemática observa con interés y preocupación. El poder computacional requerido para estos avances es considerable, como lo demuestra el costo de USD $31 millones.

La metodología de subagentes utilizada por Anthropic podría convertirse en un estándar para la investigación asistida por IA. Aún queda por definir cómo integrar estas herramientas en el flujo de trabajo académico.

El debate sobre la autoría y la responsabilidad

En junio, un grupo de matemáticos destacados firmó una declaración pública. Expresaron su preocupación por el impacto de la IA en los valores fundamentales del campo.

El estándar actual exige que las pruebas matemáticas sean atribuibles a autores específicos. Esos autores deben asumir la responsabilidad por su corrección.

La participación de una IA complica la atribución, ya que el modelo genera el argumento sin un autor humano claro. Esto podría socavar la confianza en la validez de las demostraciones.

Timothy Gowers, ganador de la Medalla Fields, respondió en un blog. Comparó la situación con las estrellas, que no llevan el nombre de los astrónomos y la mayoría no tiene nombre.

La postura de Gowers sugiere que la despersonalización podría ser aceptable. Sin embargo, el debate continúa abierto.

Implicaciones para el futuro de las matemáticas

El avance de Anthropic demuestra que la IA puede trabajar de manera autónoma en problemas matemáticos complejos. La orquestación de subagentes y validadores recuerda a un laboratorio de investigación.

El costo de USD $31 millones limita el acceso a este tipo de experimentos. Solo grandes empresas tecnológicas o instituciones con financiamiento podrían replicarlos.

A largo plazo, los matemáticos podrían adoptar la IA como una colaboradora, no como un reemplazo. La clave será definir mecanismos de atribución y revisión por pares adecuados.

La hipótesis de Riemann sigue sin resolverse por completo, pero este hito muestra el potencial de la IA para explorar territorios matemáticos desconocidos.

Queda por ver si el avance se convertirá en una demostración formal y cómo cambiará la práctica matemática en los próximos años.


ADVERTENCIA: DiarioBitcoin ofrece contenido informativo y educativo sobre diversos temas, incluyendo criptomonedas, IA, tecnología y regulaciones. No brindamos asesoramiento financiero. Las inversiones en criptoactivos son de alto riesgo y pueden no ser adecuadas para todos. Investigue, consulte a un experto y verifique la legislación aplicable antes de invertir. Podría perder todo su capital.

Suscríbete a nuestro boletín

Artículos Relacionados