Vi är glada att kunna tillkännage 1 000 000 dollar i sponsring direkt till studenter och forskare för att uppmuntra vidare utforskning med hjälp av AI och formell verifiering. Mer information 👇

Under de senaste två månaderna sedan vi gjorde Aristoteles allmänt tillgänglig för allmänheten har det blivit allt tydligare att vi går in i en ny era av matematiska upptäckter. Studenter och forskare på alla nivåer och från många discipliner har använt Aristoteles för att lösa öppna gissningar och verifiera kännetecknande resultat.

Vi satsar vårt kapital och våra resurser för att ytterligare påskynda framstegen inom området med två initiala nivåer av sponsring.