Terence Tao apresenta "Math 2.0": como a IA deve aprofundar, e não substituir, o entendimento matemático

Terence Tao realizou uma palestra importante no Caltech sobre matemática na era da IA e publicou os slides

Material da palestra Math 2.0

Ele intitulou a palestra de “Math 2.0”, embora em maio tivesse planejado apresentá-la sob o título “Prova Assistida por Máquina”. O próprio Tao observa que o conteúdo mudou significativamente “devido a eventos recentes”.

A ideia central: a matemática baseou-se durante muito tempo na premissa de que resolver um problema aberto é extremamente difícil e ocorre raramente. Em torno dessa premissa cresceram instituições, incentivos de carreira e tradições. Na realidade, resolver problemas é apenas uma métrica indireta; o objetivo mais amplo da ciência é a exploração, encontrar novos problemas e entender como aplicar soluções no mundo real.

Essa métrica indireta funcionou porque, ao resolver problemas, os matemáticos acumulavam experiência e compreensão. Agora, diz Tao, a otimização cega adicional focada apenas na resolução de problemas é “ativamente prejudicial à saúde de longo prazo da matemática”.

Se a IA simplesmente produz soluções contornando os humanos, ela esteriliza o campo ao redor do problema: caminhos não tentados permanecem inexplorados, o ciclo torna-se não renovável, o entendimento não se acumula e cresce a parcela de soluções que “funcionam no papel”, mas divergem do que o mundo realmente precisa.

Tao propõe um experimento mental: a IA inventa um coquetel que mata todas as células cancerígenas, validado até por ensaios clínicos de Fase III. Você o injetaria sem saber que pelo menos um especialista humano entende o mecanismo?

Como solução, Tao propõe mudar o foco de destruir problemas abertos para usar a IA para fortalecer a compreensão humana. É isso que ele chama de “Math 2.0”. A IA pode acelerar genuinamente o progresso se buscar explicações e novos princípios e explorar as vizinhanças das hipóteses, em vez de meramente gerar provas. Este é um vasto campo inexplorado, e Tao afirma que a principal limitação já não é a tecnologia, mas a imaginação.