Wielu z nas intuicyjnie czuje, że dziedzina matematyki ma się zmienić, więc rozpakujmy prawdopodobne wyniki, unikając hiperboli i pesymizmu.

Hipoteza #1: Liczba dowodów matematycznych oraz łączna ilość danych matematycznych będzie rosła w sposób wykładniczy. To może być niekontrowersyjne. Modele AI, pod kierunkiem ludzi, już teraz tworzą ogromne ilości matematyki. Teraz wąskim gardłem stało się nie tworzenie matematyki, lecz weryfikacja jej poprawności. Aristotle, który korzysta z @leanprover, rozwiązuje problem weryfikacji, umożliwiając, aby każdy dowód był sprawdzalny przez maszynę. W miarę jak technologia się poprawia, długość i złożoność tworzonych dowodów będą nadal rosły.

Hipoteza #2. Za 10 lat będzie dramatycznie więcej matematyków niż jest dzisiaj. Automatyzując żmudną weryfikację i dowodzenie prostych lem, Aristotle może nie tylko przyspieszyć pracę wysoce wykwalifikowanych profesjonalnych matematyków, ale także obniżyć barierę wejścia dla innych, aby mogli wnieść swój wkład. Wśród naszych użytkowników beta API są emerytowani inżynierowie oprogramowania, prawnicy, członkowie wojska, studenci i wielu innych ludzi, którzy mają matematyczne pomysły / pomysłowość, ale potrzebują pomocy w formalizowaniu i kogoś, kto zweryfikuje ich pomysły. Powinniśmy oczekiwać, że te trendy będą się nasilać.

Hipoteza nr 3. Ludzie pozostaną w centrum badań matematycznych. To jest najważniejsze. Jeśli spojrzymy wstecz na historię – zawsze zmienialiśmy definicję matematyki, aby była tym, czego maszyny nie mogą zautomatyzować. Duża część pracy matematyka na początku XIX wieku polegała na rozwiązywaniu równań. Ale wczesne kalkulatory zautomatyzowały wiele z tej rutynowej pracy, uwalniając matematyków do bardziej kreatywnej / abstrakcyjnej pracy. W przewidywalnej przyszłości wierzymy, że AI będzie podobne. Matematycy spędzą mniej czasu na weryfikacji poprawności i dowodzeniu prostych lem, a narzędzia takie jak Aristotle pomogą im poświęcić czas na badanie głębszych koncepcji. Ostatecznie, gdy Aristotle stanie się bardziej zdolny, matematycy będą kierować Arystotelesem i będzie to jak posiadanie zespołu niezwykle utalentowanych i rygorystycznych współpracowników matematycznych do dyspozycji, gdzie można ich wskazać w różnych kierunkach, a oni będą mogli badać matematyczne granice. W każdym razie, przeszliśmy już przez fazę tablicy i kanapy w matematyce. Teraz jest to w pełni cyfrowe, współpracy i wspomagane przez AI.