Estamos entusiasmados em anunciar $1.000.000 em patrocínios diretamente para estudantes e pesquisadores, para incentivar a exploração adicional usando IA e verificação formal. Mais detalhes 👇

Nos últimos dois meses, desde que disponibilizamos Aristóteles amplamente ao público, ficou cada vez mais claro que estamos entrando em uma nova era de descobertas matemáticas. Estudantes e pesquisadores de todos os níveis e de muitas disciplinas usaram Aristóteles para resolver conjecturas abertas e verificar resultados marcantes.

Estamos utilizando nosso capital e recursos para acelerar ainda mais o progresso no setor com dois níveis iniciais de patrocínio.