Aprecio muito os artigos do matemático brasileiro e colunista da FSP. Só tenho uma ressalva: os artigos são curtos demais e a conclusão quase sempre fica para depois.

Aguardo ansiosamente pela semana que vem.

Há um erro de tradução do artigo. O termo técnico aceito em português para "Halting Problem" é "Problema de Parada" (da Máquina de Turing, para ter o termo completo)

Turing começou a estudar matemática em Cambridge. Depois se interessou pela lógica matemática. Foi para a Universidade de Princeton e estudou com Alonzo Church. Voltou para Cambridge para construir uma máquina para investigar a hipótese de Riemann, considerada o problema matemático maior jamais resolvido.

Uma questão que me ocorre é: se a IA é tão poderosa, por que não poder ser usada para resolver os grandes e célèbres problemas matemáticos ainda não resolvidos ?

Após favor, aproveitáveis-vos diz para quebráveis-vos isto