Modelo no lanzado de Anthropic hace progreso en la Hipótesis de Riemann

Anthropic anunció que un modelo no lanzado hizo un progreso significativo en la Hipótesis de Riemann, uno de los principales problemas no resueltos en matemáticas que se ha mantenido durante más de 150 años. El modelo aumentó sustancialmente el límite inferior de soluciones para las que la hipótesis es válida. El progreso se logró de manera notable: un miembro del personal de Anthropic sin formación matemática significativa pidió al modelo que 'intentara de verdad' probar la hipótesis y luego dejó que el modelo coordinara la tarea durante un día y medio. El modelo probó 650 ideas diferentes, coordinando 60 sub-agentes y utilizando 31 millones de tokens de salida en total. De los 60 sub-agentes, dos fueron responsables de desarrollar las ideas matemáticas clave. El resultado fue confirmado por dos matemáticos internos de Anthropic y formalizado usando el asistente de prueba Lean. Este hallazgo sigue a una serie de avances matemáticos liderados por modelos de lenguaje de gran escala este año.