Historia principal
Noticia
Terence Tao plantea un nuevo problema para las matemáticas: demasiadas pruebas y pocos humanos para entenderlas
El matemático sostiene que la inteligencia artificial puede llevar a su disciplina de una era de escasez de demostraciones a otra de abundancia. El cuello de botella dejaría entonces de ser resolver problemas: sería verificar, comprender, explicar y…
Leer la nota