El modelo no lanzado de Anthropic avanza en un problema matemático clave

La Hipótesis de Riemann, uno de los problemas sin resolver más famosos de las matemáticas sobre la distribución de los números primos, sigue sin resolverse después de más de 150 años, con un premio de un millón de dólares por una demostración. Anthropic ha anunciado que un modelo no publicado logró un progreso notable, elevando significativamente el límite inferior de las soluciones para las cuales se sabe que la hipótesis es verdadera. Un empleado con conocimientos limitados de matemáticas sugirió que el modelo intentara el problema y luego lo dejó coordinando la tarea durante el día y medio siguiente. Durante ese tiempo, el modelo probó 650 rutas de solución, coordinando 60 subagentes y consumiendo 31 millones de tokens de salida. Entre los subagentes, 2 desarrollaron soluciones matemáticas principales, 13 generaron nuevas variantes para esos agentes, 30 intentaron pero no lograron producir nuevas ideas, 13 sirvieron como validadores y 2 ayudaron a redactar el artículo inicial. El resultado fue verificado por dos matemáticos del personal y formalizado en el asistente de demostración Lean. En los últimos años, los modelos de inteligencia artificial han resuelto varios problemas de Pál Erdős, con el modelo Astra de OpenAI resolviendo diez y otro modelo de Anthropic refutando una hipótesis jacobiana de larga data. Estos logros despiertan tanto entusiasmo como preocupación en la comunidad matemática con respecto a la autoría y la responsabilidad por la corrección, y algunos argumentan que los teoremas no necesitan estar asociados con investigadores específicos.