Por que a IA ainda não vai substituir os matemáticos – Terence Tao

I'm very curious when you expect AIs that can like actually do frontier math better than the at least as good well as the best human mathematicians. Tenho muita curiosidade para saber quando você espera que IAs consigam realmente fazer matemática de fronteira melhor — ou pelo menos tão bem quanto — os melhores matemáticos humanos. I mean in in some ways they're already doing frontier math Quero dizer, em alguns aspectos elas já estão fazendo matemática de fronteira that is super intelligent that humans can't do but it's a different frontier from what we're used to. que é superinteligente, que os humanos não conseguem fazer, mas é uma fronteira diferente daquela à qual estamos acostumados. Um I mean you could argue that calculators were doing frontier math É... quero dizer, você poderia argumentar que as calculadoras já faziam matemática de fronteira uh that that humans um could not accomplish but it was but it wasn't you know number crunching it que os humanos não conseguiam realizar, mas não era... bem, não era só computação numérica um but um Bem... mas... but but replacing Terry Tao completely mas mas substituir o Terry Tao completamente I mean what do you want me for? Quero dizer, para que você me quer? Uh I um É... eu... you'll just go on all the podcasts after. você vai aparecer em todos os podcasts depois disso. [laughter] [risos] I'm not sure we've Não tenho certeza se chegamos — it might not be the right question to ask. talvez não seja a pergunta certa a fazer. Um Hmm... I think with within a decade a lot of things that mathematicians currently do um what we spend a lot of the bulk of our time doing and a lot of stuff we put in our papers today can be done by AI. Acho que dentro de uma década, muitas coisas que os matemáticos fazem atualmente — o que ocupa a maior parte do nosso tempo e muito do que colocamos em nossos artigos hoje — poderão ser feitas por IA. Um but we will find that that actually wasn't the most important part of what we do. Bem, mas vamos descobrir que na verdade essa não era a parte mais importante do que fazemos. Um you know um 100 years ago um a lot of mathematicians were just solving differential equations. É... sabe... há 100 anos, muitos matemáticos simplesmente resolviam equações diferenciais. Um like people needed physicists needed some exact solution to to to to some system and and they were just they hired a mathematician labor to go through the calculus and work out the solution to this fluid equation É... tipo, as pessoas precisavam — os físicos precisavam de uma solução exata para algum sistema e então simplesmente contratavam a mão de obra de um matemático para percorrer o cálculo e deduzir a solução dessa equação de fluidos whatever. seja lá o que fosse. um a lot of what um uh a 19th century mathematician would do um you could make a call to uh Mathematica or or Wolf Alpha or or a computer algebra package or more now more recently NAI and it would just solve the problem you know in a few minutes um but we we moved on we we we worked on different types of problems after that um you know once computers came along you know computers used to be human right people used to laboriously create log tables and and and and and work out primes as scouts did and that has all been outsourced to computers. É... muito do que um matemático do século XIX faria... bem, você poderia simplesmente fazer uma chamada ao Mathematica, ou ao Wolfram Alpha, ou a algum pacote de álgebra computacional — ou, mais recentemente, a uma IA — e ela simplesmente resolveria o problema em poucos minutos. Mas seguimos em frente, passamos a trabalhar com diferentes tipos de problemas. Sabe, quando os computadores surgiram... os computadores costumavam ser humanos, né? As pessoas criavam laboriosamente tabelas logarítmicas e calculavam números primos, como exploradores faziam, e tudo isso foi terceirizado para os computadores. Um but but we we moved on um in genetics you know um to to to sequence the the genome of a single organism that was an entire PhD of a geneticist you know still carefully you know separating all the chromosomes and and and whatever. É... mas mas seguimos em frente. Em genética, sabe, sequenciar o genoma de um único organismo era uma tese de doutorado inteira para um geneticista — ainda separando cuidadosamente todos os cromossomos e tudo mais. Um and now you can just spend $1,000 and send it to a sequencer and and and get it done. É... e agora você pode simplesmente gastar mil dólares, enviar para um sequenciador e pronto. But genetics is not dead as a subject. Mas a genética não morreu como campo. You you move to a different scale. Você avança para uma escala diferente. You know maybe you study whole ecosystems rather than individuals. Sabe, talvez você passe a estudar ecossistemas inteiros em vez de indivíduos. I I take your point but on the question of well when is most mathematical progress or almost all mathematical progress happening by AI so if you find out oh this year millennium price problem has been solved you would put you know a 95% odds that an AI did it autonomously Entendo o seu ponto, mas sobre a questão de quando a maior parte do progresso matemático — ou quase todo o progresso matemático — estará sendo feito por IA: se você descobrir que, neste ano, um problema de Price do milênio foi resolvido, você apostaria 95% de chance de que uma IA fez isso autonomamente surely there will be such a year certamente haverá um ano assim um prIce problem has been solved you would put you know a 95% odds that an AI did it autonomously surely there will be such a year um I guess I mean I I I I do believe that that hybrid um human plus AIs will will dominate mathematics for a lot longer it it's it will depend o problema de Price foi resolvido, você apostaria 95% de chance de que uma IA o fez autonomamente — certamente haverá um ano assim. Bem... acho que... quero dizer, eu... eu realmente acredito que um híbrido humano mais IA vai dominar a matemática por muito mais tempo. Isso vai depender... it will require some additional breakthroughs be beyond what we already have. vai exigir alguns avanços adicionais além do que já temos. Um so it's it's going to be sarcastic. É... então vai ser estocástico. Um you know I think you know AI currently are very good at certain things but but really terrible at others. É... sabe, acho que as IAs atualmente são muito boas em certas coisas, mas mas realmente terríveis em outras. Um and and while you can sort of add more and more frameworks on top to kind of reduce the error rates and and and make them uh uh work with each other a bit more and so forth. É... e e embora você possa adicionar mais e mais frameworks por cima para reduzir as taxas de erro e fazê-las trabalhar melhor umas com as outras e assim por diante. Um I I um it feels like we are we don't have all the uh the ingredients to like really have a truly satisfactory sort of uh replacement for all intellectual tasks. É... eu... sinto que nós — que não temos todos os ingredientes para realmente ter um substituto verdadeiramente satisfatório para todas as tarefas intelectuais. Um it's it is complimentary currently. É... é complementar atualmente. Um it's not not uh um it it is not a replacement. É... não é não é... não é um substituto. Um É... but maybe I mean mas talvez quero dizer because current level AIS will accelerate science in so many ways. porque as IAs no nível atual vão acelerar a ciência de tantas maneiras. Hopefully, you know, I mean, new discoveries, new breakthroughs will happen um more uh more quickly. Com sorte, sabe, quero dizer, novas descobertas, novos avanços vão acontecer de forma mais rápida. I mean um it's possible that also by somehow destroying serendipity, we we actually inhibit certain types of progress. Quero dizer, é possível também que, de alguma forma, ao destruir a serendipidade, na verdade inibamos certos tipos de progresso. Um anything is possible really at this point. É... qualquer coisa é realmente possível agora. I think this u the world is very very unpredictable at this point. Acho que o mundo está muito muito imprevisível neste ponto. If you enjoyed this clip, you can watch the full episode here and subscribe for more clips. Se você gostou deste clipe, pode assistir ao episódio completo aqui e se inscrever para mais clipes. Thanks. Obrigado.