Electrónica
OpenAI publica 722 manuscritos de matemáticas hechos por un modelo
El repositorio reúne resultados de teoría de números, complejidad y física matemática, y parte de las demostraciones viene formalizada en Lean.
Interesting Engineering
Etiqueta
#razonamiento ia
5 notas publicadas
IA
Los LLM no crean ciencia nueva, pero los world models podrian
En un paper titulado "LLMs can't jump", Tom Zahavy de Google DeepMind sostiene que a los modelos de lenguaje les falta el salto creativo que permitió a Einstein reinventar la física.
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
OpenAI dice que GPT-next refutó un problema de Erdős por menos de USD 1
Un modelo de propósito general, sin asistente formal tipo Lean, descartó una conjetura de geometría discreta abierta desde 1946 con un cómputo estimado en 32 horas.
Latent Space
Etiquetas relacionadas
Otros temas que aparecen junto a #razonamiento ia en nuestra cobertura editorial.