Vi er glade for å kunngjøre 1 000 000 dollar i sponsing direkte til studenter og forskere for å oppmuntre til videre utforskning ved bruk av KI og formell verifisering. Flere detaljer 👇

I løpet av de siste to månedene siden vi gjorde Aristoteles bredt tilgjengelig for publikum, har det blitt stadig tydeligere at vi går inn i en ny æra med matematiske oppdagelser. Studenter og forskere på alle nivåer og fra mange disipliner har brukt Aristoteles for å løse åpne formodninger og verifisere kjennetegnsresultater.

Vi setter inn kapital og ressurser for å ytterligere akselerere fremgangen i feltet med to innledende nivåer av sponsing.