Matemáticos debaten si la IA está cerca de demostrar teoremas que nadie entienda
El matemático Terence Tao advirtió en una conferencia en Filadelfia que la comunidad está "muy, muy cerca" de que un resultado matemático importante sea demostrado y verificado sin que ningún humano pueda comprenderlo y explicarlo. La afirmación, recogida por el periodista Kai Williams en entrevista
