Un modelo no publicado de Anthropic avanza en la hipótesis de Riemann

Anthropic ha anunciado que un modelo aún no publicado ha logrado avances significativos en la hipótesis de Riemann, un famoso problema sin resolver sobre números primos que ha permanecido durante más de 150 años. Un miembro del personal de Anthropic, sin formación matemática relevante, instó al modelo a intentar una demostración y luego lo dejó para que coordinara la tarea durante un día y medio. El modelo probó 650 ideas diferentes, coordinando 60 subagentes y gastando un total de 31 millones de tokens. Dos de los subagentes desarrollaron las ideas matemáticas clave, mientras que otros contribuyeron con ideas, intentaron pero fracasaron en desarrollar nuevas, actuaron como validadores o ayudaron a redactar el artículo. Dos de los matemáticos internos de Anthropic confirmaron los hallazgos, y la demostración fue formalizada utilizando el asistente de demostraciones de código abierto Lean. Esto forma parte de una serie de avances matemáticos logrados por grandes modelos de lenguaje, incluyendo la resolución de problemas de Erdős y otros resultados del modelo 'Astra' de OpenAI, así como la refutación por parte de Anthropic de la conjetura de Jacobian. El creciente cuerpo de resultados ha suscitado tanto entusiasmo como preocupación; algunos matemáticos se preocupan por la atribución y responsabilidad en las demostraciones, mientras que el ganador de la Medalla Fields, Timothy Gowers, sugiere que el cambio podría ser menos problemático de lo que parece.