Suntem încântați să anunțăm sponsorizări de 1.000.000 de dolari direct către studenți și cercetători pentru a încuraja explorări suplimentare folosind AI și verificarea formală. Mai multe detalii 👇

În ultimele două luni, de când l-am făcut pe Aristotel larg disponibil publicului, a devenit tot mai clar că intrăm într-o nouă eră a descoperirilor matematice. Studenți și cercetători de toate nivelurile și din multe discipline l-au folosit pe Aristotel pentru a rezolva conjecturi deschise și a verifica rezultatele caracteristice.

Investim capitalul și resursele noastre pentru a accelera progresul în domeniu cu două niveluri inițiale de sponsorizare.