We zijn enthousiast om $1.000.000 aan sponsoring aan studenten en onderzoekers aan te bieden om verder onderzoek met AI en formele verificatie aan te moedigen. Meer details 👇

In de afgelopen twee maanden, sinds we Aristotle breed beschikbaar hebben gesteld voor het publiek, is het steeds duidelijker geworden dat we een nieuw tijdperk van wiskundige ontdekking binnentreden. Studenten en onderzoekers op alle niveaus en uit vele disciplines hebben Aristotle gebruikt om open conjecturen op te lossen en belangrijke resultaten te verifiëren.

We zetten ons kapitaal en onze middelen in om de vooruitgang op dit gebied verder te versnellen met twee initiële niveaus van sponsoring.