Hugo Penedones: A revolução da IA na Ciência (e a incrível história de um Prémio Nobel)

Data: Wed, 05 Mar 2025 06:30:00 +0000  ·  Duração: 01:38:09

Clica em qualquer parte da transcrição para saltar para esse momento no vídeo.

José Maria Pimentel 00:00:37.48Olá, o meu nome é José Maria Pimentel e este é o 45 Graus, agora na rede de podcasts do Expresso. 00:00:43.78Apesar de já ter falado muito de inteligência artificial aqui no podcast, ainda não tinha explorado um tema que tem dado muito que falar. 00:00:50.92O impacto que ela está a ter, e vai continuar a ter, na descoberta científica. 00:00:54.98Os novos modelos de Deep Learning estão a revolucionar a ciência em várias áreas, desde a biologia, a física, meteorologia, engenharia de materiais. 00:01:03.66Este impacto da inteligência artificial faz sentido, na verdade, porque se nós olharmos para trás, os períodos de grande progresso na ciência estiveram sempre associados a novas tecnologias que vieram abrir novas fronteiras inexploradas em várias áreas. 00:01:16.82E, portanto, isto está a acontecer neste momento e vai continuar a acontecer no futuro. 00:01:20.90E dificilmente poderia ter melhor pessoa para falar do tema do que o convidado de hoje. 00:01:24.92O Hugo Penedones é licenciado em Engenharia Informática e Computação pela Universidade do Porto e é cofundador e atualmente CTO da Inductiva AI, que é uma empresa, como o nome indica, de inteligência artificial aplicada à ciência e à engenharia. 00:01:39.68Além disso, ele antes trabalhou na Google DeepMind, uma empresa de investigação nesta área, sediada no Reino Unido, onde ele esteve na génese de uma das maiores inovações nesta área, talvez a maior, o projeto AlphaFold, que é um algoritmo de previsão de estruturas de proteínas, que era até aqui um grande desafio da ciência, que levou em poucos anos à atribuição do Prémio Nobel da Química deste ano a Demis Assabis e a John Jumper. 00:02:03.70O Hugo foi membro fundador deste projeto, é aliás um dos autores do primeiro paper publicado sobre o AlphaFold. 00:02:09.26E como vão ouvir, o projeto tem uma história engraçada por trás. 00:02:13.06Porque começou quase como uma brincadeira, como parte de um hackathon, que é uma maratona de programação na DeepMind, quando o Hugo e colegas decidiram, por que não, dedicar-se ao problema de tentar adivinhar, através de algoritmos, a estrutura das proteínas. 00:02:27.66E o resto, como se costuma dizer, é a história. 00:02:30.40Durante a nossa conversa, falámos desta e de outras áreas em que a inteligência artificial está a gerar novas descobertas, desde melhorar a previsão do tempo, ao desenvolvimento de materiais inovadores, como supercondutores, e até ajudar a desenvolver reatores fiáveis de fusão nuclear, que é a eterna promessa que nos daria uma energia limpa e completamente ilimitada. 00:02:50.96Para além de tentar perceber em que áreas a inteligência artificial está a ter este impacto, tentei também, nesta conversa, compreender porquê. 00:02:57.86Porquê é que estes algoritmos estão a ajudar os cientistas? 00:03:00.58O que é que eles fazem de diferente do que os cientistas conseguiam fazer até aqui? 00:03:04.64E isto levou-nos a explorar uma questão inevitável. 00:03:06.86Até que ponto a inteligência artificial pode vir, no futuro, a substituir os cientistas no seu papel mais fulcral, mais elementar, que é o papel criativo da formação de novas hipóteses científicas, que, no fundo, é o que move a descoberta em frente. 00:03:19.86Se gostam de ciência e de tecnologia, este episódio é para vocês. 00:03:23.64E agora deixo-vos com o Hugo Penedones. 00:03:26.02Até à próxima.
Hugo Penedones 00:05:27.28Exatamente. 00:05:27.82Então, a inteligência artificial é uma área de investigação com tradição já bastante antiga, não é? 00:05:33.32Tem, se calhar, pelo menos 8 décadas já, já vem dos tempos do Alan Turing, ali na década de 1940, e inicialmente relacionava-se com a questão de será que conseguimos ter máquinas, computadores, que replicam algumas destas propriedades que os humanos e os animais também demonstram que, por enquanto, sobretudo na altura, não se tinha conseguido replicar por máquinas. 00:06:03.50E essas capacidades são ligadas, por exemplo, à perceção visual, não é? 00:06:09.16Perceber o mundo à nossa volta, à compreensão do som e da linguagem e também à capacidade motora, não é? 00:06:19.10De conseguirmos locomotora. 00:06:23.54Pronto, isso era o holy grail, não é? 00:06:26.94O grande objetivo da inteligência artificial conseguir ter máquinas ou até robôs que estejam mais assim num espaço físico que tenham essas características. 00:06:35.48Mas nós, como humanos, também usamos a nossa capacidade cognitiva para outros processos um bocadinho mais elaborados como, por exemplo, fazer ciência, não é? 00:06:44.28Ou descobrir mais coisas sobre o mundo. 00:06:46.28Sim, um bocadinho mais elaborados, por ser verdade. 00:06:50.20E então, agora, mais recentemente, começa a haver muito interesse em aplicar estes mesmos métodos de inteligência artificial que inicialmente se calhar foram desenvolvidos, já está para fazer, sei lá, reconhecimento de objetos ou geração de fala, não é? 00:07:09.10Para problemas científicos. 00:07:11.48Por exemplo, o exemplo que mencionaste num projeto que eu trabalhei que foi o AlphaFold era um problema de biologia, ou seja, perceber qual era a estrutura das proteínas, ou seja, dada uma sequência de aminoácidos conseguir prever a sua estrutura tridimensional, que é isto que vai determinar a função que esta proteína tem no corpo. 00:07:31.02Por exemplo, há proteínas especializadas no transporte de moléculas, por exemplo, a hemoglobina. 00:07:37.56Há proteínas especializadas que fazem parte do sistema imunitário, por exemplo, os anticorpos são proteínas, ou enzimas, enzimas ajudam na catálise de novas reações químicas. 00:07:48.94Na verdade,
Hugo Penedones 00:15:22.52o AlphaFold também teve várias versões eu se calhar falo até primeiro da versão 1 que foi na qual eu estive envolvido em que a versão inicial era uma combinação entre previsões do modelo machine learning e um processo de otimização ou seja pesquisa ou seja o que fazia inicialmente era tentar alterar um segmento da proteína ou seja focando só imaginemos em 10 aminoácidos nesta região vou alterar um bocadinho a forma a minha previsão para esta estrutura aqui só localmente e perguntava-se dada esta nova configuração perguntava-se o que se chama uma função de energia baseada em digamos em leis da física será que isto ficou melhor ou pior e basicamente isso é calculado em função de sei lá se houver ali coisas que deviam sentir forças repulsivas por causa do campo eletromagnético ou não consegue-se saber que aquilo não é uma boa configuração ou seja é difícil encontrar a boa configuração mas não é assim tão difícil avaliar a energia isso pode-se calcular então é por isso que pode-se ser visto inicialmente como um processo de otimização é só tenho que ir alterando gradualmente a forma da proteína para ir encontrar a configuração de energia mínima o problema é que isto é super combinatorial as formas possíveis que eu posso dar daqueles ângulos todos entre aminoácidos é tão grande que por um processo um bocadinho ingénuo de pesquisa é quase impossível então a primeira versão do Alpha Fold foi um bocadinho inspirada pelo sucesso anterior até do Alpha Go que era para aqueles jogos de estratégia de tabuleiro
Hugo Penedones 00:17:27.26o gol era mais complexo por ter mais um número de jogadas possíveis a cada instante superior ao xadrez e então a árvore de pesquisa começa a ficar enorme mesmo pronto então a ideia era tentamos ter aqui um modelo de machine learning a informar de modo digamos mais inteligente menos ingênuo que alterações é que são razoáveis de imaginar ok esta sequência diminuasse é mais ou menos parecida a outras que ele viu nos dados de treino então talvez seja aqui uma forma uma forma hélice ou aqui seja mais plana etc mas isto tem a desvantagem de ser um processo mais lento tem que estar a fazer constantemente previsões e avaliar se ficou melhor rejeitar se ficou pior etc a grande vantagem do no alfa fold 2 foi que se conseguiu fazer um treino que se chama mais end to end ou seja a rede neuronal agora conseguia diretamente prever a partir da sequência de aminoácidos prever as coordenadas dos átomos todos sem ter que estar a fazer este processo iterativo de otimização e alguns dos componentes desta arquitetura da rede neuronal do alfa go do alfa fold 2 são parecidos a estes lares de línguas models por exemplo tem lá uma coisa parecida a um transformer mas também tem coisas mais específicas à biologia por exemplo para além da sequência de aminoácidos também se passa como input alguma informação que se chama multiple sequence alignment ou seja informação de outras sequências de proteínas conhecidas e algumas correlações estatísticas basicamente é para saber se aquela proteína tem muitas semelhanças com outras proteínas que se conhecem de outras células de animais ou de seres vivos e essa informação também é agregada e depois há coisas que se exploram na representação em si da proteína ou seja aqui nós não estamos a prever a próxima palavra a previsão que se está a fazer é tipicamente ou todos os ângulos entre cada aminoácido ou seja ali um ou dois graus de liberdade entre cada aminoácido consecutivo e tem que se prever pode ser representado por um ângulo então quando se faz esse tipo de previsões que são quantidades mais numéricas ou neste caso até mais geométricas também se podem embutir na rede neuronal que ela tem que respeitar algumas propriedades geométricas por exemplo a desigualdade triangular é uma propriedade matemática ou algumas mas quer dizer o que? 00:20:16.04explica lá basicamente quer dizer que a soma de dois lados de um triângulo é sempre maior ou igual que o comprimento do outro lado que sobra ou seja porque se a soma destes dois fosse maior do que a aresta que falta não era um triângulo certo ou seja é uma restrição que consegue garantir que não está a produzir dados que fazem sentido é uma restrição geométrica que se a rede neuronal não tivesse a respeitar e a prever coisas que estão desconexas basicamente os aminoácidos não iam estar ligados de forma realística deixa-me perguntar uma coisa
Hugo Penedones 00:24:20.24Exato nas empresas de tecnologia existe muito este tipo de eventos internos que chamam hackathon em que durante três ou quatro dias se dá liberdade total aos engenheiros ou aos investigadores de escolher um tema de um projeto arbitrário e trabalhar naquilo e fazer depois um pequeno demo uma apresentação sobre aquilo e então nós houve o meu colega Rich Evans que até já tinha trabalhado comigo também na Microsoft anteriormente e o Marek Barinsky tivemos esta ideia de trabalhar no problema de protein folding porque havia um jogo feito pela Universidade de Washington no grupo de David Baker que foi o outro laureado com o prémio Nobel de Química em 2024 em que eles estavam a testar o conceito de gamification do problema de protein folding ou seja havia uma interface gráfica em que os humanos podiam ir carregar no currato no ecrã e alterando a forma da proteína e vendo aquele score aquela pontuação baseada na tal função de energia se estava a aumentar ou a diminuir era um bocadinho um conceito assim experimental será que os humanos conseguem desenvolver a intuição para isto e abordar o problema como sendo um jogo e como a DeepMind tinha tido sucesso nesta área de treinar modelos de machine learning para jogar jogos inicialmente naquela console Atari que tem muitos joguinhos tipo Space Invaders Montezuma Revenge etc e depois no Go a nós pareceu-nos natural olha vamos experimentar aplicar a este jogo que tem por trás um problema científico pronto obviamente durante aqueles 3 dias não se fez nenhuma descoberta científica nenhum breakthrough mas gerou o suficiente entusiasmo para a liderança da empresa inclusive o Demis Asavis e o Mustafa Solman que também era um dos fundadores decidirem que nós íamos começar a trabalhar aquilo na tempo inteiro e juntaram-se mais duas ou três pessoas que tinham trabalhado no AlphaGo ou trabalhado em análise de fala etc
Hugo Penedones 00:27:17.26mas foi foi um bom um bom ponto de arranque para gerar entusiasmo e começar a trabalhar aquilo a sério pronto o que foi também engraçado é que nós não tínhamos experiência nenhuma em biologia não é? 00:27:34.36ou seja eram pessoas que vinham de porque não é a tua área o meu background é engenharia informática e computação e os meus colegas também tinham backgrounds semelhantes nós na altura só tivemos aconselhamento de um professor de bioinformática de Londres da UCL o David Jones que basicamente nos deu umas noções básicas sobre o problema e algumas dicas de de coisas a evitar não é? 00:28:03.42como fazer uma avaliação rigorosa do nosso sistema etc então quando surgiu o primeiro resultado público porque há uma cada dois anos há uma competição mundial para comparar estes métodos computacionais de previsão de estruturas de proteínas quando os resultados aí acho que foram já não me lembro se foi anunciado em 2020 ou foi não acho que foi já em 2018 já não tenho certeza foi bastante surpreendente para a comunidade científica porque estávamos ali como um bocadinho os outsiders não é? 00:28:38.00não são biólogos ou bioinformáticos a fazer isto e obtivemos logo a primeira posição digamos nessa competição e a segunda edição no Alphafold 2 a melhoria ainda foi um salto incrível de performance que foi esse salto que depois justificou a atribuição do Prémio Nobel ao Demisa Sabes que é o CEO da DeepMind mas também estava envolvido na coordenação deste projeto e ao John Jumper que foi pronto um dos cientistas um dos investigadores principais neste projeto sim e o terceiro foi o que tu referiste há bocado o David Baker que é da Universidade de Washington que estava a trabalhar num problema quer dizer ele trabalha em tudo relacionado com proteomics mas em particular o Prémio Nobel foi atribuído mais ao progresso que ele fez no problema de protein design que é quase um bocadinho o problema inverso
José Maria Pimentel 00:29:39.00que não tem a ver
Hugo Penedones 00:32:34.80exato e então o que eles fizeram neste caso foi até existem simuladores para isto foi até em conjunto com um grupo na EPFL ou seja a Universidade Suíça em Lausanne que tinham conhecimento nesta área e tinham um simulador e a DeepMind fez a parte de aprender o modelo que controla o campo magnético sim mas agora existem as mais diversas aplicações em outras áreas por exemplo Weather Forecasting ou seja a previsão do tempo o eterno problema em que foi também uma aplicação fascinante porquê? 00:33:11.88porque atualmente para fazer essa previsão para o futuro nos próximos sei lá uma escala temporal por exemplo de 10 dias é preciso fazer simulações numéricas muito pesadas que podem envolver ter mesmo um supercomputador muitos computadores de forma coordenada a fazerem esses cálculos mas o que a DeepMind fez foi um modelo chamado Graphcasting que partiu de dados históricos que envolviam uma combinação entre simulação e medições experimentais da pressão da temperatura etc em diferentes partes do globo e aprendeu uma rede neuronal que consegue a partir do estado atual do mundo ou seja do que assumimos que fosse a pressão temperatura velocidades do vento etc no planeta prever qual será o estado do mundo daqui a 6 horas e essa previsão a partir do momento em que o modelo está treinado e bem treinado consegue ser feita tipo num minuto ou menos num computador quase normal e então isso permite fazer previsões muito mais rápidas e até simular um leque de possibilidades por exemplo quando tem um tornado um furacão que está ali a desenvolver na zona das caraíbas ou assim há sempre a questão onde é que isto vai para onde é que isto vai dirigir daqui a uns dias para poder avisar a população mas se envolve e há sempre alguma incerteza não é de quais são as condições iniciais e esses sistemas de fenómenos atmosféricos são ter aquela propriedade de serem caóticos ou seja pequenas perturbações às condições iniciais podem gerar resultados bastante diferentes então para uma pessoa ter a ideia de onde é que é mais provável aquilo ir parar convém fazer várias simulações perturbando um bocadinho as condições iniciais mas se cada simulação for muito lenta
Hugo Penedones 00:36:22.80como é que explicaria isto com um exemplo suficientemente simples vou fazer aqui a experiência contigo para ver se funciona que é nós por exemplo quando estamos na escola secundária e aprendemos assim física de Newton há uma coisa que se aprende básica que é quando se um projétil ou seja mando digamos uma pedra uma bala com este ângulo inicial em relação ao chão e com uma dada velocidade digamos que é um ângulo de 45 graus 45 graus exatamente como é um problema tão simples e se abstrairmos todas as complexidades ou de atrito do ar ou de não haver objetos é uma coisa que se pode resolver analiticamente ou seja resolve-se uma equação e pode dizer ok isto vai cair aquela distância e vai cair naquele ponto então isto é uma solução analítica para um problema mas se agora mesmo tornar-se isto ligeiramente mais complexo ou seja agora estás a tirar uma pedra mas estás no meio de uma floresta já não há nenhuma equação analítica que tu possas resolver para dizer onde é que a pedra vai cair porque se mandares um bocadinho para o lado pode bater numa árvore e que aí já não vai até lá ao fundo ou se mandares com um ângulo um bocadinho diferente já não vai bater em nada e vai para ali ou seja terias de ter melhores equações no fundo ou seja já não há uma coisa que possas ter uma equação limpinha já tem esta complexidade aos objetos vai haver interação de objetos então aí passas para o regime de física computacional ou seja consegues simular e aí como é que consegues simular usas na mesma a mesma equação mas agora não assumes que consegues extrapolar até ao final da trajetória só vai extrapolar olha vou simular o que é que acontece daqui a 0,1 segundos e como aí ainda estás a assumir que não há interação com mais nada consegues saber qual é o próximo passo e se tivesse uma representação sei lá dos objetos que há ali à volta das árvores etc a cada passinho deste 0,1 segundo podes-lhe perguntar olha será que estou a colidir com uma árvore e se sim aplicas ali outra rega pronto isto agora já não vai em frente vai vai sofrer esta força de reação e vai cair ou seja simulação numérica em física envolve usar as mesmas equações mas estar a dar passinhos pequenos porque pode haver ali coisas a interagir umas com as outras num mundo mais complexo em que já não é só estás a mandar um projeto ele no vazio sem atrito sem obstáculos agora a analogia de machine learning seria não sabes as regras das físicas nem estás a simular passinho a passinho mas vou-te dar imagina 10 mil fotografias de sítios que têm árvores diferentes e uma representação com uma seta diferente de onde é que a pedra saiu e com que velocidade e tu vais aprender a dar a resposta
Hugo Penedones 00:40:26.04pode acontecer que sejam sim em ambos os casos tanto nas LLMs como nestes modelos para a realidade física são tipicamente treinados por aprendizagem supervisionada ou seja dá-se um certo input e garante-se que o modelo está a prever o output certo que era conhecido no caso da linguagem isto cria-se um bocadinho artificialmente no que se chama agora aprendizagem auto-supervisionada simplesmente por dizer vou prever a próxima palavra do texto e então a supervisão vem de graça porque a coisa que eu quero prever é simplesmente o que está a seguir no caso do dos dados por exemplo do weather forecasting prevê-se os pontos em todos numa grelha à volta do globo valores de pressão temperatura velocidade do vento etc pode às vezes ficar melhor do que a simulação em si às vezes até por beneficiar também de dados reais ou seja para um modelo de machine learning sejam dados sintéticos que estamos a passar ou dados reais experimentais para o modelo é a mesma coisa ele vai aprender não é? 00:41:44.64então se houver alguma limitação no modelo de simulação numérica em que não capta realmente a realidade ou seja sempre uma aproximação e conseguirmos complementar isso com dados reais experimentais o modelo de machine learning realmente pode até ser melhor do que a simulação porque beneficiou mais dos dados experimentais em que a simulação ainda não modelava muito bem por exemplo imaginemos que o simulador que se usa para isso não modela todos os fenómenos de turbulência no ar a um nível de detalhe suficiente porque senão seria computacionalmente impossível então a pessoa que escreve os cientistas que escrevem esse simulador dos fenómenos atmosféricos vão fazer simplificações vão ignorar olha eu só vou modelar cada espaço cada ponto do espaço dimensional com um cubo de sei lá um quilómetro por um quilómetro lá dentro vou assumir que é uniforme não há turbulência etc quer dizer que eles estão a fazer simplificações no simulador numérico e que portanto não vai simular exatamente a realidade mas o modelo de machine learning que é treinado a seguir podia combinar tanto os dados numéricos como os dados experimentais da realidade medições de balões que estão ali na atmosfera ou termómetros pelo mundo fora e aprender a combinar isso melhor
José Maria Pimentel 00:48:07.16porque aquilo exato porque o facto dos computadores aquecer é a energia que está a ser desperdiçada que está a sair exatamente ou seja primeiro teria poupar energia e por outro lado minimizar alguns efeitos secundários dessa energia que é desperdiçada como por exemplo teres de ter imagino eu a refrigeração desses data centers e afins isso é muito interessante lá está aqui o número de aplicações potenciais pelo menos ao dia de hoje é incrível tu há bocado falaste da questão da fusão nuclear é um tema que eu já abordei aqui no 45 graus algumas vezes com o Luís Silva e depois com o Nuno Loureiro e eu lembro de hoje falar exatamente nisso o desafio no fundo o grande desafio talvez o principal desafio da fusão nuclear que no fundo é outro santo grau que é tu teres uma tecnologia limpa com um potencial muito maior do que as tecnologias atuais e completamente limpa e o grande desafio é tu conseguires suster aquela reação durante um tempo minimamente aceitável e não consegues porque basicamente a reação bate nas paredes e as reações e a reação para e aqui de repente tu consegues usar machine learning para resolver aquele problema ultra complexo que no fundo tem um número gigantesco de dados e um número brutal de parâmetros é que tu tens de dar estrutura e há aqui um potencial de facto gigante a pergunta que eu me faço e acho que é uma imagino que não seja a primeira pessoa a fazer essa pergunta é até que ponto é que estes modelos podem fazer um trabalho análogo ao dos cientistas na parte da causalidade propriamente dita e na parte da formulação de hipóteses por exemplo porque isto tudo que nós estamos a falar trata-se no fundo de resolver problemas a nível de dados o que costumas dizer que o grande desafio da ciência ou o grande arte da ciência é fazer a pergunta certa e portanto aliás foi o que vocês fizeram no caso de AlphaFold vocês fizeram a pergunta certa e se nós testássemos este jogo com estes algoritmos de inteligência artificial e isso no fundo é o que está por trás do progresso científico tu achas que estes modelos vão conseguir fazer também a pergunta certa ou seja vão conseguir colocar hipóteses novas para depois serem exploradas sim é uma boa pergunta mas eu acho que temos que diferenciar há muitos tipos também de ciência diferentes há esta ciência mais fundamental
Hugo Penedones 00:50:18.68mais ligada quase à física teórica que é descobrir as leis fundamentais quais são as forças básicas e quais são as equações que governam isso mas também existe muito este aspecto computacional ou seja não adianta saber ou não é suficiente saber compreender as leis básicas se depois eu não consegui fazer previsões em tempo útil com elas e aí isso é um bocado o regime em que estamos é que embora já se saibam as leis da mecânica quântica ou da gravitação há ali uns debates por exemplo o meu irmão trabalha nisso há ali uns debates sobre a unificação destas destas duas leis fundamentais etc mas no dia a dia para as coisas mais práticas isso não é tanto uma limitação o que é uma limitação é será que eu consigo calcular em tempo útil coisas baseadas nisto e por exemplo voltando ao exemplo dos materiais envolve ali fenómenos fenómenos quânticos mas não conseguimos simular ou fazer previsões computacionais suficientemente rápido para fazer lá está a descoberta de materiais para novas baterias ou painéis celulares em tempo útil então isso também também é ciência no sentido de mais ciência computacional ou seja não vamos estar a descobrir novas leis fundamentais mas vamos estar a conseguir fazer previsões sobre sistemas maiores muito mais complexos em tempo útil e então a pergunta aí aberta é mais quase mais do lado de computer science qual é o método computacional que consegue fazer isso de modo mais eficiente com suficiente precisão na questão mesmo de formular hipóteses se calhar há áreas em que isso é mais claro por exemplo em matemática provar um teorema de certo modo é algo também bastante criativo porque aquilo pode ter bastantes estratégias diferentes fundamentalmente é encontrar um caminho entre os axiomas básicos e aquela proposição aquela hipótese que estamos a tentar provar e a encontrar um caminho em que se seguem só se respeitam pequenas regras lógicas não é? 00:52:26.24porque é que isto é tão difícil? 00:52:27.36porque não houve um espaço de combinatório muito grande ou seja quando alguém lê uma demonstração principalmente se for um matemático pode passo a passo ir compreendendo e validar que está certa mas criá-la de raiz é muito mais difícil claro claro ou seja é muito mais difícil encontrar um caminho num espaço de possibilidades enormes do que depois alguém olhar para o caminho e dizer sim o caminho está certo exatamente que este na verdade este é um dos grandes problemas em aberto é um daqueles Millennium Prizes para ciências da computação é o problema P versus NP que fundamentalmente é isto não está aprovado ainda em ciências da computação se o esforço exigido para encontrar uma solução tem mesmo que ser maior do que o esforço exigido para verificá-la mas basicamente toda a gente acredita que sim ou seja a comunidade toda está convencida que efetivamente verificar uma solução é fundamentalmente mais rápido para uma classe de problemas importantes mais combinatóricos do que encontrar a solução mas ainda não há uma prova para isto é um dos problemas em aberto
José Maria Pimentel 00:54:28.04até porque aí há uma questão de técnica e capacidade física que nós não conseguimos controlar mas por exemplo tu consegues explicar porque é que aquela equipa ganhou o jogo mas seria muito mais difícil ter-te ocorrido aquela tática específica para ganhar o jogo sendo que em muitos casos somos vítimas do chamado viés da retrospectiva portanto estamos a explicar encontrar uma explicação ao posterior mas a verdade é que isso é mais fácil de fazer da frente para trás enquanto de trás para a frente há quase uma infinidade de táticas no futebol quer dizer se tu pensares que podes mudar a equipa podes mudar a posição de cada jogador no campo a ação que cada um deles tem quer dizer aquilo é um espaço quase infinito ou seja parece-me que eu tenho um paralelo interessante com o que estás a falar mas o meu ponto há bocadinho naquela pergunta sobre a formação de hipóteses e o trabalho do cientista não era no sentido de dizer que isto não é ciência pelo contrário claramente isto é ciência eu estava a pensar qual é o papel que sobra para os cientistas com esta mudança de paradigma porque estes progressos que estão a ser feitos que são incríveis parecem ter tem qualquer coisa em comum não é por acaso que são engenheiros a trabalhar nesta área porque isto são quase problemas de engenharia embora não pareçam são áreas muito diferentes são problemas de engenharia e portanto dir-se-ia que os cientistas continuam a ter um papel fundamental lá está na formulação de hipóteses e no fundo na na relação de conhecimento de áreas diferentes para produzir novas hipóteses ou não mas também é possível é possível que não é possível que estes modelos comecem a substituir os cientistas também nessa parte de formular novas hipóteses de formular novas explicações em determinadas áreas para o lado disto que é altamente exuberante embora não seja ainda isso de no fundo resolver estes problemas numéricos gigantescos sim
Hugo Penedones 00:56:27.86é uma possibilidade eu acho que nos próximos anos ainda estamos neste regime de lá está o cientista tem o papel principal está ali no volante do condutor e estes métodos são no fundo ferramentas para se conseguir fazer progresso mais rápido ou para resolver problemas em que é preciso analisar tantos dados em que um humano não ia fazer isso com facilidade mas sim através destes modelos de linguagem natural já se começa um bocadinho a ver essa possibilidade de eles ajudarem mesmo no processo criativo às vezes eu quero fazer isto por exemplo estou a programar às vezes tenho que escolher um bom nome para um método ou para uma variável que seja compacto mas que seja preciso eu pergunto quero fazer isto isto e isto diz-me uma lista de bons nomes isto já está a ajudar um bocadinho neste processo criativo e é possível imaginável que isto comece a acontecer mais ajuda-me a formular aqui uma hipótese que depois vou tentar validar experimentalmente não é garantido que quer dizer não é nada é garantido que isto funcionasse bem no sentido em que se estes modelos forem treinados com um conjunto de dados históricos pode não ser os dados ideais para ajudá-lo a extrapolar a criar novas hipóteses exato mas agora a nova geração de de LLMs etc começam a ser nesta linha de integrar também com pesquisa ou seja não ser só uma previsão da próxima palavra mas também ter este processo computacional mais pesado por trás de novo a analogia ao Go e AlphaGo de visitar uma árvore de possibilidades e ter uma função à avaliação que lhe diz qual é o trajeto melhor aí começa a ser mais natural acreditar que também vão começar a ter esta propriedade de extrapolar mais porque este processo de pesquisa é mesmo isso é quase imaginação o que acontece se eu fizer isto isto e isto e algumas destas hipóteses ou destes pensamentos não levam a nada e há outros
Hugo Penedones 01:03:18.28assim não necessariamente mas acho que isso não é não é problemático tipicamente lá está as regras fundamentais da física estão bem compreendidas não é? 01:03:29.52agora o problema o problema é que quando se fazem métodos computacionais tipicamente fazem-se simplificações não se modela tudo claro como estava a dizer há bocado pode-se não modelar na dinâmica de fluidos ignora-se um bocadinho o comportamento da turbulência ou se eu estiver a modelar o comportamento do oceano ou a trajetória ou a hidrodinâmica de água num rio se calhar vai haver um modelo para a forma do fundo do leito do rio mas vai ignorar que de vez em quando aquilo vai abaixo e a terra desmorona se ela é um buraco e que é ou seja nem tudo é incorporado nos modelos de simulação numérica só porque se tivessem que levar tudo em conta era a complexidade demais e não era prático então os modelos de machine learning podem através da agregação de dados experimentais aprender indiretamente a não ignorar tanto isso imagina estava a falar agora da hidrodinâmica se houvesse imagina que estava a tentar prever alguma coisa aqui no comportamento do rio Tejo e estou a assumir que o leito tem aquela forma o fundo do rio é assim mas se os dados experimentais não estão bem calibrados não estão alinhados com o resultado da simulação numérica é porque há ali outro processo que a simulação numérica não está a levar em conta e potencialmente o modelo machine learning mesmo não sabendo o que é que era podia conseguir prever isso sim mas só ia trazer conhecimento no sentido de dizer olha há realmente ali alguma coisa que nós não estamos a modelar podemos ter que ir investigar e ver o que é que é para tentarmos incluir nos modelos de simulação numérica mas sim mas sim não seria não seria auto-explicativo ou seja o modelo em princípio não ia dizer por linguagem natural olha foi isto isto e isto a não ser que fossem agora treinados explicitamente para isso para ter capacidade introspectiva não é? 01:05:28.22mas isso já tinhas que combinar aqui os modelos de geração de linguagem com toda a modulação física
Hugo Penedones 01:05:51.18exatamente então a inductiva é uma startup que nós criamos em 2021 juntamente com o meu sócio o Luís Sarmento e a Clara Clara Gonçalves e desde o início por causa da minha inicialmente da minha experiência no AlphaFold tivemos o interesse desta área de AI for Science mas ao contrário do que aconteceu no AlphaFold em que havia uma base de dados muito boa com dados experimentais sobre as estruturas de proteínas há muitas outras áreas de ciência e engenharia em que não existe necessariamente um dataset muito bom por exemplo nós estávamos a tentar fazer coisas relacionadas com hidrodinâmica por exemplo simular as ondas no mar numa zona costeira para por exemplo ver qual é o efeito se eu fizer aqui esta estrutura de proteção costeira tipo um paradão qual vai ser o efeito por exemplo e não havia dados para isso não vai haver dados com nível de detalhe do género aqui estão mil zonas costeiras diferentes no mundo com profundidades ali do mar diferentes com alturas de ondas diferentes com o vento de direções diferentes e aqui está exatamente o comportamento segundo a segundo de todas as ondas que observamos etc isto não vai existir então nós deparamos-nos com a necessidade de ter que gerar sinteticamente estes datasets justamente usando simuladores numéricos que embora não venham da comunidade de machine learning foram feitos pela comunidade física computacional etc ao longo de décadas e são muito bons no que fazem para cada domínio específico então nós começamos a pensar ok então vamos usar estes simuladores numéricos para gerar dados e depois podemos treinar os modelos de machine learning por cima e no processo de fazermos isto apercebermos que na verdade o bottleneck estava mesmo nesta parte de conseguir usar os simuladores numéricos em grande escala e de modo fácil porque tipicamente eles foram desenvolvidos alguns sei lá 20 30 anos atrás foram escritos em linguagens de programação tipo FORTRAN não foram escritos para ser executado na cloud e ter centenas de computadores em paralelo a gerar dados então ou seja o bottleneck o gargalo estava antes do machine learning exato então nós fizemos uma espécie quase de pivot na empresa para dizermos olha embora o nosso background seja de machine learning vamos agora focar em fazer um upgrade à área de simulação numérica e então o que nós estamos a fazer é uma plataforma em que vamos integrando dezenas destes simuladores desde dinâmica de fluidos moléculas simular combustão simular materiais simular proteínas etc que tipicamente são é software open source feito por universidades e pelo mundo fora e que as licenças permitem que ser usado tanto para fins académicos como comerciais e nós integramos isto de forma unificada em que passa a ser muito fácil uma pessoa dizer ok eu quero lançar 100 computadores na cloud com estas especificações tem GPUs ou só CPUs etc e vou querer correr este simulador lá por exemplo dinâmica molecular com estes inputs e nós orquestramos isto tudo ou seja fazemos acontecer o utilizador que neste caso é um cientista ou engenheiro tem que escrever basicamente sei lá 10 linhas de código em Python ou seja uma coisa muito simples e o que está depois a acontecer na prática em termos computacionais é bastante elaborado estão máquinas virtuais na Google Cloud a serem lançadas o simulador a aparecer lá já instalado os inputs necessários a aparecerem lá tudo a correr tudo a ser monitorizado detectar falhas etc ao ponto que o esforço de agora nós podermos dizer vou gerar um dataset para ter um modelo de machine learning é reduzidíssimo nós já fizemos isso por exemplo para um exemplo de um túnel de vento em que pegamos geramos imensas formas de carros diferentes e corremos uma simulação de um túnel de vento simulado com uma dada velocidade de vento em que no final dá para medir propriedades como a pressão em todos os pontos da superfície do objeto ou o drag coefficient não sei como é que se diz em português mas pronto é uma dica de arrasto não sei mas é o que?
Hugo Penedones 01:10:19.76é uma indicação de quão é aerodinâmico ou não o carro é da resistência do fundo do ar sim e lá está um programinha inscrito em Python que é neste momento a linguagem de programação mais usada no mundo conseguir gerar este volume de dados enorme o que estava a ser o fator limitante para nós ou seja como é que nós vamos conseguir fazer isto em escala e agora cada simulador é diferente como é que ocorre isto na cloud etc portanto a nossa visão tem duas fases esta primeira fase isto é imediatamente útil para os engenheiros de hoje em dia que estão a correr simulações numéricas e por enquanto eles nem sequer estão interessados muito em modelos de machine learning porque se eles forem fazer um novo parque eólico vão querer-se fazer simulações numéricas se quiserem desenhar a nova forma de um carro vão fazer simulações numéricas então o estado do mundo ainda na indústria é correr simulações numéricas e com boa precisão e correr muitas destas simulações então é aí que nós já estamos diretamente a ajudar vocês estão a resolver um problema ainda do paradigma anterior que no fundo perceberam que ainda não estava resolvido que ainda não estava bem resolvido com o nível de conveniência que a comunidade de machine learning já tinha porque as ferramentas de software tipo PyTorch TensorFlow são muito mais modernas e muito mais fáceis de usar ou seja as bibliotecas de software que são usadas para ter redes neuronais são bastante sofisticadas e bastante fáceis de usar enquanto que este mundo mais da simulação numérica mais clássica tinha ficado assim um bocadinho para trás então nós agora estamos a dar aqui um boost um upgrade para antecipar este futuro em que os dois mundos se vão fundir gradualmente ou seja vamos gerar muitos dados de simulação numérica e treinar modelos de machine learning e às vezes os próprios modelos de machine learning vão ser incorporados de novo na simulação numérica por exemplo um exemplo pode ser de dinâmica molecular quando se está a simular o que é que vai acontecer no próximo instante a cada átomo tem que se calcular ali as forças que cada átomo está a sentir em função dos seus vizinhos mas de novo tipicamente se fazem-se simplificações e ignoram-se os tais efeitos quânticos ou basicamente ignora-se as posições dos eletrões é como se os eletrões fosse só ali uma média tivesse a ser ignorada mas se nós corrêssemos simulações muito mais pesadas que não ignoram isso e depois treinássemos um modelo de machine learning que agora já aprendeu a levar em conta os efeitos quânticos este componente pode ser utilizado na simulação de dinâmica molecular para prever cada passo ou seja é substituir algo ao exemplo da meteorologia que falávamos há bocadinho
Hugo Penedones 01:17:06.92da qual eu nunca fui investigador nem nada mas o que sabe da realidade física é que existem estes ao mais baixo nível da matéria a mais pequena escala existe é governado pelas leis da física quântica em que uma um estado cada partícula é representado por uma esta função de onda ou seja não estamos a assumir que tem uma posição a uma velocidade fixa existe uma uma distribuição de probabilidades onde é que ela pode estar e se se isto tiver que ser modelado por computação clássica de novo torna-se um processo computacional muito pesado mas se tivesse ser diretamente modelado por um computador quântico em que o modo como ele opera já é exatamente o mesmo que governa as leis da matéria ele não tem basicamente não tem que estar a simular isto comporta-se diretamente como a realidade portanto é como se na prática ele estivesse a analisar muitas possibilidades em paralelo e em termos teóricos computacionais ainda não está também provado que haja coisas fundamentais que o computador quântico possa fazer e que seja realmente impossível um clássico não fazer ainda não há certeza existem alguns algoritmos tipo Groves algoritmo para procurar um item numa lista etc ou para a fatorização de primos em que os computadores quânticos já se sabe que existem algoritmos quânticos que são melhores do que o melhor conhecido clássico mas ainda não é evidente que nunca pudesse haver um clássico que o fizesse mas eles são diferentes em que desculpa ou seja esta é uma
Hugo Penedones 01:21:23.10depende muito de área para área mas aqui acaba sempre por quase ser um trade-off entre entre a quantidade de computação que tens disponível e quantos dados consegues gerar porque em termos de obter dados de forma experimental estás limitado quanto é que os humanos conseguem ir para o laboratório e medir coisas mas se os simuladores numéricos que tiveres disponíveis forem suficientemente bons tu podias à partida gerar dados infinitos e com qualidade quase infinita o problema é que para simular coisas com suficientemente precisão pode ser computacionalmente muito pesado então por exemplo para esta área sei lá imagina dos materiais se calhar conseguem-se fazer simulações ou das pequenas moléculas para moléculas até um certo número de átomos a partida de dada altura aquilo se calhar simular o comportamento de uma molécula com um bocadinho maior já terias que mesmo num supercomputador esperar imagina dois anos já deixa de ser fazível deixa de ser prático poderes gerar um dataset dessa maneira porque tinhas que ter todos os computadores no mundo não sei quantos anos a gerar aquilo um bocadinho o que se espera que machine learning consiga fazer é que sendo treinado com configurações do sistema relativamente pequenas em que ainda é possível gerar dados com qualidade o modelo machine learning consiga extrapolar para sistemas um bocadinho ligeiramente maiores e mantendo a precisão porque se isso acontecer depois consegueste ter um feedback positivo ou seja usei inicialmente um modelo de simulação numérica e levei um bocado ao limite da computação que podia fazer e agora treinei um modelo de machine learning que é mais rápido e que tem capacidade de generalização suficiente para prever coisas de sistemas ligeiramente maiores do que eu consegui simular e se conseguiste fazer isso depois conseguias usar esse sistema para gerar mais dados e ir expandido na fronteira do tamanho do sistema que consegues fazer no paper de DeepMind conseguiram ter evidência inicial sobre isto disto acontecer também já em matemática aconteceu um bocadinho isso por exemplo há sistemas de prova automática de teoremas com métodos mais ou menos clássicos foram programados por matemáticos ou informáticos e que estão a testar muitas possibilidades e podem conseguir provar o teorema houve um exemplo de investigadores que treinaram um modelo de machine learning para replicar este sistema e depois conseguiram aplicá-lo a provas um bocadinho mais exigentes que o sistema original não tinha conseguido ou seja essa ideia de gerar dados a partir de um sistema que chegou a uma certa escala e agora este novo sistema como é mais rápido consegue ir a uma escala um bocadinho superior se conseguisses fazer isso com suficiente precisão que a coisa não se está a degradar conseguiste fazer o desafio
José Maria Pimentel 01:26:34.82e uma célula também
Hugo Penedones 01:28:38.70já é assim porque lá está dinâmica de fluidos ou hidrodinâmica simular o comportamento da água ou do ar em teoria é tudo na mesma átomos podia-se fazer tudo a partir de física quântica só que é muito mais eficiente dizer olha aqui estes efeitos quânticos são negligíveis isto é um fluido é compressível ou não e usar regras muito mais básicas quase de mecânica clássica para modelar aquele comportamento macro porque a pessoa não se interessa se aquela moléculazinha da água está mais à direita ou à esquerda uma pessoa só se interessa pelos comportamentos de uma escala muito mais elevada e portanto mesmo na física às vezes já são só níveis de abstração diferentes e então quando se passa para química passa-se a falar de sistemas que têm um certo número de átomos e como é que eles interagem e biologia são moléculas ainda maior e como é que elas interagem e a cada nível tipicamente para fazer algo útil e pragmático que se consiga calcular vão-se fazendo algumas simplificações algumas assumptions alguns pressupostos que nem sempre são verdade mas pode ser possível que até com a ajuda destes métodos de machine learning se consiga fazer isso que é aprender modelos a partir das coisas mais básicas e o que se passa para cima já foi aprendido a partir das regras fundamentais e já não envolveu tantos pressupostos ou tantas regras tantas heurísticas humanas sim esse é um ponto interessante sim consegues no fundo
Hugo Penedones 01:31:19.44são outras áreas que nem sequer estão aqui se calhar sei lá neurociências por exemplo o que é que tu achas que vem aí nos próximos 10 anos sim é sempre difícil extrapolar mas eu acho que se nota que o progresso parece estar a acelerar parece parece estar a acontecer a um ritmo até surpreendentemente elevado mesmo para a gente da comunidade não é? 01:31:40.10eu penso que estes grandes grupos de investigação por exemplo da Google DeepMind e em particular o grupo de Science da DeepMind tendem a focar-se nestes problemas que eles chamam root node problems ou seja aqueles que são tão fundamentais que se houver progresso nesse problema vai desencadear vai disputar muito mais progresso em coisas que se constroem por cima deles portanto é por isso que eles estão a trabalhar nestas coisas de desenho de novos materiais no desenho de novos fármacos em problemas também ligados a matemática e raciocínio portanto eu aí acho que vai ser em dúvida haver progresso mas algumas coisas são imprevisíveis a história da inteligência artificial tem sido assim um bocadinho engraçada porque mesmo até há 5 anos atrás acreditava-se muito que o progresso vinha através de deep reinforcement learning ou seja agentes embebidos interagindo com um ambiente por exemplo um jogo e que gradualmente iria ter mais regras físicas e que a inteligência surgiria deste quase embodiment ou seja ter a interação com o mundo físico cada vez mais realístico e na verdade estes modelos de linguagem natural acabaram por ser tem zero interação com o mundo físico tem zero interação com o mundo físico e acabaram por conseguir perceber intuitivamente alguma da realidade física só através de processar texto o que foi bastante surpreendente ainda no outro dia estava a ouvir uma entrevista do Demis a falar da Sábios a falar sobre isso em que um grande problema em aberto décadas atrás era o problema do grounding problem que era quando se fizeram modelos simbólicos de inteligência artificial há 50 anos atrás notou-se que estavam-se a programar ali regras lógicas e conceitos assim abstratos mas depois aquilo era completamente desconexo da realidade física ou seja o sistema podia estar a dizer um cão tem quatro patas etc mas nunca tinha visto a fotografia de um cão e não sabia o que aquilo queria dizer era só manipular símbolos então não estava ground ou seja não havia uma ligação com a realidade e o que foi surpreendente efetivamente com os modelos de linguagem natural é que mesmo sem ligação à realidade física só a treinar em texto eles conseguiram nas suas representações internas da rede neuronal aprender o suficiente para dizer coisas que fazem sentido em que dá a impressão que alguma coisa eles perceberam da realidade física não dizem só coisas desconexas e agora com a incorporação destes modelos mais multimodais em que dá para treinar com imagens com vídeo ao mesmo tempo que o texto já começa a haver mais essa informação do grounding porque já pode ser treinado de forma conjunta para falar do que é que é um cão e ao mesmo tempo também tem imagens de cães ou de vídeos de cães então começa a poder a rede neuronal aprender representações muito mais precisas e que conectam diferentes modalidades são as imagens etc mas isto tudo para dizer que foi muito surpreendente para a comunidade científica que coisas que pensávamos que ia ser mais difícil toda a gente achou que ia ser mais fácil automatizar o trabalho sei lá numa fábrica que era um trabalho assim mecânico pouco qualificado entre aspas do que automatizar o trabalho de um programador ou de um artista que era uma coisa considerada criativa e da esfera intelectual e na verdade o que aconteceu foi que agora estas LLMs até estão a conseguir automatizar o trabalho dos programadores ou dos artistas criativos muito melhor do que os robôs que supostamente podiam fazer o nosso trabalho pouco qualificado então há sempre um bocadinho estas surpresas e aqui no domínio da ciência também pode haver surpresas porque é difícil ter uma intuição eu não consigo dizer será mais fácil encontrar um material supercondutor ou desenvolver um sistema que faz provas de teoremas matemáticos melhor do que o melhor matemático do mundo então mas deixa-me perguntar de outra forma