Herramientas de IA ayudaron a hallar contraejemplos a la conjetura del plasma de Grad de 1967, con verificacion humana de cada prueba.
Herramientas de IA ayudaron a hallar contraejemplos a la conjetura del plasma de Grad de 1967, con verificacion humana de cada prueba.