O caminho para a superinteligência matemática
229,034 plays|
Tudor Achim |
TEDAI San Francisco 2025
• October 2025
A IA generativa alucina, criando um problema de confiabilidade que a ciência não pode se dar ao luxo de ignorar. O cientista da computação Tudor Achim acredita que uma ideia de 400 anos oferece a solução: o sonho de Leibniz de um sistema lógico em que erros sejam simplesmente impossíveis. Conheça sua proposta de uma superinteligência matemática capaz de fundamentar a IA na verificação formal, transformando chatbots pouco confiáveis em parceiros rigorosos para a descoberta científica.