
Claude y la hipótesis de Riemann: el hallazgo inesperado
Anthropic intentó resolver un problema milenario con IA. Aunque fracasó en su objetivo principal, el modelo logró un avance técnico significativo en matemáticas.
6 notas publicadas

La comunidad matemática debate ante la posibilidad de que los sistemas de IA logren demostraciones que ningún ser humano sea capaz de entender o explicar.

Tras el hito de Deep Blue en ajedrez, OpenAI presenta Astra, un modelo capaz de resolver problemas matemáticos complejos con un coste operativo de 2.000 dólares.

Modelos de lenguaje están descifrando conjeturas históricas, generando un intenso debate en la comunidad científica sobre el futuro de la investigación pura.

Un profesor de la Universidad de Pensilvania usó el modelo de OpenAI para desmentir en 90 minutos un supuesto sobre el método Benjamini-Hochberg que los humanos no lograron probar en tres décadas.

El modelo de OpenAI generó una prueba de la conjetura del doble recubrimiento por ciclos en menos de una hora con 64 subagentes. Un matemático la valida, pero critica la falta de citas.
Otros temas que aparecen junto a #matematicas en nuestra cobertura editorial.