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
El nuevo modelo abierto de China Telecom cabe en una gráfica.2026-09-20Claude Code ya lee el archivo de reglas que usan sus rivales.
2026-09-19El modelo de Zhipu triplicó la velocidad del sistema que lo sirve.
2026-09-19Alibaba liberó un modelo que detecta 146 enfermedades en tomografías.
2026-09-19El agente Muse de Meta ya lee los archivos de tu Mac.
2026-09-19