#verificación de teoremas

Inundación y cosecha: trivialidades necesarias para matemáticas valiosas

Descubre por qué las trivialidades matemáticas son indispensables para que la IA genere teoremas valiosos, según un nuevo estudio sobre verificación y generación de lenguaje.