Siamo entusiasti di annunciare $1.000.000 di sponsorizzazioni direttamente a studenti e ricercatori per incoraggiare ulteriori esplorazioni utilizzando l'AI e la verifica formale. Maggiori dettagli 👇

Negli ultimi due mesi, da quando abbiamo reso Aristotele ampiamente disponibile al pubblico, è diventato sempre più chiaro che stiamo entrando in una nuova era di scoperta matematica. Studenti e ricercatori di tutti i livelli e di molte discipline hanno utilizzato Aristotele per risolvere congetture aperte e verificare risultati fondamentali.

Stiamo impiegando il nostro capitale e le nostre risorse per accelerare ulteriormente i progressi nel settore con due livelli iniziali di sponsorizzazione.