IA
IA resuelve problemas matemáticos imposibles: ¿el fin de la era humana?
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.
The Decoder
Etiqueta
#matematicas
5 notas publicadas
IA
GPT-5.6 Sol refuta una conjetura estadística de 30 años
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.
The Decoder
IA
GPT-5.6 Sol Ultra resuelve una conjetura de 50 años
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.
The Decoder
IA
Claude Mythos resuelve el problema Erdős que OpenAI había anunciado
El ingeniero Sholto Douglas describió la solución como una "prueba simple y elegante" y la atribuyó a un sistema de instancias Claude Code coordinadas.
The Decoder
IA
DeepMind AlphaProof Nexus resuelve 9 problemas de Erdos
El framework combina Gemini 3.1 Pro con el compilador Lean para demostrar conjeturas abiertas hace décadas, a un costo de inferencia de pocos cientos de dólares por problema.
The Decoder
Etiquetas relacionadas
Otros temas que aparecen junto a #matematicas en nuestra cobertura editorial.