Nous sommes ravis d'annoncer 1 000 000 $ de parrainages directement aux étudiants et chercheurs pour encourager une exploration plus approfondie utilisant l'IA et la vérification formelle. Plus de détails 👇

Au cours des deux derniers mois depuis que nous avons rendu Aristote largement accessible au public, il est devenu de plus en plus clair que nous entrons dans une nouvelle ère de découverte mathématique. Des étudiants et des chercheurs de tous niveaux et de nombreuses disciplines ont utilisé Aristote pour résoudre des conjectures ouvertes et vérifier des résultats emblématiques.

Nous déployons notre capital et nos ressources pour accélérer davantage les progrès dans ce domaine avec deux niveaux initiaux de parrainage.