Z radością ogłaszamy sponsorowanie w wysokości 1 000 000 USD bezpośrednio dla studentów i badaczy, aby zachęcić do dalszego eksplorowania z wykorzystaniem AI i formalnej weryfikacji. Więcej szczegółów 👇

W ciągu ostatnich dwóch miesięcy, odkąd udostępniliśmy Arystotelesa szerokiej publiczności, stało się coraz bardziej oczywiste, że wkraczamy w nową erę odkryć matematycznych. Studenci i badacze na wszystkich poziomach oraz z wielu dziedzin korzystali z Arystotelesa, aby rozwiązywać otwarte konjektury i weryfikować kluczowe wyniki.

Wykorzystujemy nasz kapitał i zasoby, aby przyspieszyć postęp w tej dziedzinie, oferując dwa początkowe poziomy sponsorowania.