Un modelo de Anthropic avanzó en uno de los problemas matemáticos más grandes sin resolver
Un modelo de inteligencia artificial de Anthropic ha avanzado en la resolución de uno de los problemas matemáticos más grandes sin resolver, la hipótesis de Riemann. Esta hipótesis, planteada hace más de 150 años, se refiere a la distribución de números primos y tiene un premio de un millón de dólares para quien pueda demostrarla.
El modelo de Anthropic, que aún no ha sido lanzado, ha aumentado significativamente el límite inferior de soluciones para las cuales la hipótesis es cierta. El proceso de resolución se llevó a cabo de manera automática, con el modelo probando 650 ideas diferentes y coordinando la tarea a través de 60 subagentes. Dos de estos subagentes desarrollaron las ideas matemáticas clave, mientras que otros 13 contribuyeron con ideas y 30 intentaron desarrollar nuevas ideas.
“El modelo de Anthropic, que aún no ha sido lanzado, ha aumentado significativamente el límite inferior de soluciones para las cuales la hipótesis es cierta”
La hipótesis de Riemann es uno de los problemas matemáticos más famosos y ha resistido los intentos de resolución durante siglos. La capacidad de los modelos de inteligencia artificial para avanzar en su resolución ha generado interés y debate en la comunidad matemática. Algunos expertos han expresado preocupación por el impacto que la inteligencia artificial podría tener en la forma en que se realizan las pruebas matemáticas y se atribuyen los descubrimientos.
Anthropic es una empresa de inteligencia artificial que se enfoca en el desarrollo de modelos de lenguaje avanzados. La empresa ha estado trabajando en la aplicación de la inteligencia artificial a la resolución de problemas matemáticos y ha logrado varios avances en este campo. La hipótesis de Riemann es solo uno de los muchos problemas matemáticos que los modelos de inteligencia artificial están ayudando a resolver. En los últimos años, se han resuelto varios problemas de Erdos y se han logrado otros avances significativos en la resolución de problemas matemáticos utilizando modelos de inteligencia artificial.
