Google DeepMind lançou Aletheia, um agente de inteligência artificial especializado em matemática, que obteve uma impressionante pontuação de 91,9% no IMO-ProofBench Advanced, um dos testes mais desafiadores voltados para provas de estilo Olimpíada. O desempenho ressalta a evolução das tecnologias de IA aplicadas à resolução de problemas complexos.
Desenvolvida utilizando a arquitetura Gemini Deep Think, Aletheia opera por meio de um ciclo que envolve a geração de provas, a verificação de sua validade e a correção de eventuais erros. A DeepMind afirma que o novo agente supera até mesmo as versões mais avançadas da arquitetura Gemini, enquanto consome menos recursos computacionais. Essa eficiência tem potencial para revolucionar a forma como a pesquisa matemática é conduzida, tornando processos antes lentos e custosos mais escaláveis e acessíveis.
Além de seu desempenho em benchmarks, Aletheia formalmente resolveu quatro problemas da lista de Erdős, incluindo um que provavelmente nunca foi abordado na literatura. A IA também foi capaz de redigir um artigo completo com resultados corretos e auxiliar pesquisadores em trabalhos acadêmicos reais. Isso evidencia uma nova era para a razão baseada em provas, que se torna mensurável e mais barata com o avanço das tecnologias de inteligência artificial.
A relevância dessa inovação para o mercado é significativa. Aletheia não apenas oferece novas ferramentas para pesquisadores e acadêmicos, mas também pode inspirar o desenvolvimento de soluções em outras áreas onde a lógica e a prova são essenciais. O avanço da IA, nesse sentido, representa uma oportunidade para transformar não apenas o setor acadêmico, mas também áreas como engenharia, finanças e tecnologia da informação, onde a precisão e a eficiência são fundamentais.
Enviado a 6 meses atrás
