Estamos entusiasmados em anunciar $1,000,000 em patrocínios diretamente para estudantes e pesquisadores para incentivar uma exploração mais aprofundada usando AI e verificação formal. Mais detalhes 👇

Nos últimos dois meses, desde que tornámos o Aristóteles amplamente disponível ao público, tornou-se cada vez mais claro que estamos a entrar numa nova era de descoberta matemática. Estudantes e investigadores de todos os níveis e de muitas disciplinas têm utilizado o Aristóteles para resolver conjecturas em aberto e verificar resultados marcantes.

Estamos a alocar o nosso capital e recursos para acelerar ainda mais o progresso na área com dois níveis iniciais de patrocínio.