Un modelo inédito de Anthropic avanza en uno de los mayores problemas sin resolver de las matemáticas

Un modelo de inteligencia artificial de Anthropic aún no publicado ha logrado un progreso significativo en la hipótesis de Riemann, un famoso problema matemático sin resolver durante más de 150 años sobre la distribución de los números primos. A instancias de un empleado de Anthropic sin formación matemática avanzada, el modelo coordinó 60 subagentes durante un día y medio para probar 650 ideas diferentes orientadas a resolver el problema. Dos de los subagentes desarrollaron ideas matemáticas clave, las cuales fueron confirmadas por matemáticos internos de la empresa y formalizadas utilizando el asistente de pruebas Lean. Este avance subraya la creciente capacidad de los grandes modelos de lenguaje para abordar desafíos matemáticos complejos, avivando el debate en la comunidad matemática sobre la autoría, la responsabilidad y el futuro papel de la inteligencia artificial en la investigación.

(Fuente：TechCrunch)