Tamás Hausel, professor no Instituto de Ciência e Tecnologia da Áustria (ISTA), recebeu uma bolsa do Project Numina, uma organização sem fins lucrativos de Paris que desenvolve inteligência artificial de código aberto para a matemática. A bolsa inclui apoio de computação e acesso a programas no valor de 50 mil euros durante 12 meses.
O projeto, chamado Sandbox, é um ambiente digital onde matemáticos e agentes de IA trabalham em conjunto numa área da matemática que ainda não foi formalizada em nenhum assistente de provas. O objetivo é criar uma nova teoria para provar uma família de conjeturas em aberto, com cada passo verificado por computador sob orientação humana.
Um oráculo de álgebra computacional verifica as afirmações e um núcleo de provas certifica as demonstrações. Segundo o ISTA, o sistema ficou a funcionar em três semanas e a equipa já provou um resultado importante.
