La IA también puede hacer matemáticas de karaoke

Si hasta Terry Tao habla de un desajuste serio entre lo que una IA parece demostrar y lo que realmente sostiene, igual el problema no es que la máquina “piense distinto”: es que le estamos dando rango de investigador a un loro con buen editor. La verificación sigue siendo el curro material, y ese no lo automatiza el relato.