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
Etiqueta
#matematicas
7 notas publicadas
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
IA
OpenAI refuta una conjetura de Erdős sin resolver desde 1946
El modelo de razonamiento entregó una construcción geométrica nueva que supera a las soluciones tipo grilla cuadrada, y matemáticos prominentes respaldan el resultado antes del anuncio.
TechCrunch AI
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
IA
SOOHAK revela que los LLMs inventan respuestas a problemas imposibles
Un consorcio de 64 matemáticos diseñó 439 tareas para Gemini 3 Pro, GPT-5 y Claude Opus 4.5; ninguno supera el 50% al detectar problemas sin solución.
The Decoder
IA
ChatGPT 5.5 Pro produce un paper matemático nivel doctorado en horas
El medallista Fields Timothy Gowers afirma que el modelo de OpenAI resolvió un problema abierto de teoría de números en 17 minutos y construyó un preprint completo sin guía matemática humana.
The Decoder
Electrónica
Las matemáticas que hay que entender para entender LLMs
Repaso a la serie de tres artículos de Giles Thomas sobre cómo funcionan logits, embeddings, atención y transformers, la base estadística que conviene dominar antes de hablar de IA generativa.
Hackaday
Etiquetas relacionadas
Otros temas que aparecen junto a #matematicas en nuestra cobertura editorial.