Un desarrollador web resolvió con IA una conjetura de 50 años.
Dan Abramov, conocido desarrollador web, publicó el 18 de septiembre una prueba de la conjetura de refinamiento de Conway. Dirigió ChatGPT y Claude durante cinco semanas y gastó unos 40.000 dólares en cómputo. Un verificador de pruebas acepta el resultado, pero ningún matemático lo ha revisado.
Por qué importaLas máquinas ya certifican pruebas que nadie ha leído, y eso cambia quién puede hacer matemáticas. También pone precio a un resultado difícil: cinco semanas y lo que vale un coche usado.
▶ Vídeo relacionado: John Horton Conway | The surreal numbers
Léelo en la app — gratis, en 9 idiomas
Noticias relacionadas
Cincuenta agentes de IA inventaron la burocracia en Minecraft.2026-10-30DoorDash solo ha recibido unos cientos de pedidos de agentes de IA.
2026-10-30Las nuevas reglas de OpenAI prohíben que su IA se resista a apagarse.
2026-10-30OpenAI dice que su nueva vigilancia habría frenado su propia brecha.
2026-10-30El agente Claude de un contratista pasó dos meses en el Pentágono.
2026-10-30