IA
Un nuevo capítulo en la demostración: cómo la IA conquistó el empaquetamiento de esferas en dimensiones altas
La IA ha alcanzado un hito al autoformalizar los teoremas de empaquetamiento de esferas de Maryna Viazovska, acelerando la verificación de demostraciones de meses a días.
3 mar 2026 · 18:16