Em setembro, a OpenAI anunciou que sua tecnologia de inteligência artificial resolveu o problema de Navier-Stokes em menos de uma semana, resolvendo um enigma matemático que desafiava os principais especialistas humanos há décadas. Esta conquista, seguida por uma onda de descobertas adicionais, chocou a comunidade matemática e despertou discussões sobre o futuro da pesquisa acadêmica. No entanto, as implicações dessas capacidades avançadas de IA vão muito além da matemática teórica, estendendo-se ao domínio crítico da cibersegurança.
O Vale do Silício está agora desenvolvendo sistemas de IA projetados para eliminar falhas perigosas, conhecidas como bugs, em softwares de computador. A lógica subjacente espelha a abordagem usada para provas matemáticas: assim como uma IA pode verificar um teorema complexo, ela pode teoricamente provar que uma aplicação de software está livre de erros. Esta iniciativa, denominada "verificação de software" pelos cientistas, tornou-se vital à medida que a internet enfrenta sua ameaça de cibersegurança mais significativa em décadas. Com os principais sistemas de IA agora capazes de hackear softwares identificando e explorando vulnerabilidades em velocidades sem precedentes, há uma necessidade urgente de uma nova geração de IA dedicada a remover essas falhas.
Entre as empresas que estão pioneiras nesta tecnologia está a &Truth, uma start-up sediada em Palo Alto. Juntamente com outras empresas do Vale do Silício como Axiom e Logical Intelligence, bem como grandes laboratórios de IA incluindo Anthropic e OpenAI, a &Truth visa verificar o software global usando Lean, uma linguagem de programação especializada. Esta mesma ferramenta permitiu que a IA resolvesse problemas matemáticos de milhões de dólares. Clark Barrett, professor da Universidade de Stanford e co-fundador da &Truth, observou que os avanços na matemática tornaram possíveis tarefas anteriormente impossíveis. Ele enfatizou que os métodos formais usados para provar grandes conjecturas abertas podem agora ser aplicados diretamente à verificação da integridade do software.
Fontes: The New York Times Science.