Mulți dintre noi simțim intuitiv că domeniul matematicii se va schimba, așa că să analizăm rezultatele probabile, fără a recurge la hiperbole sau doomerism.

Ipoteza #1: Numărul demonstrațiilor matematice și cantitatea agregată de date matematice vor crește exponențial. Aceasta este poate necontroversată. Modelele de IA, sub conducerea oamenilor, creează deja cantități uriașe de matematică. Acum blocajul a trecut de la crearea matematicii la verificarea corectitudinii acesteia. Aristotel, care folosește @leanprover, rezolvă problema verificării permițând fiecărei demonstrații să poată fi verificată de mașină. Pe măsură ce tehnologia avansează, lungimea și complexitatea demonstrațiilor create vor continua să crească.

Ipoteza #2. Vor fi dramatic mai mulți matematicieni peste 10 ani decât sunt astăzi. Prin automatizarea corvoanei verificării și demonstrarea unor leme simple, Aristotel nu doar că poate accelera munca matematicienilor profesioniști extrem de sofisticați, dar poate și reduce bariera de intrare pentru ca alții să contribuie. Printre utilizatorii noștri beta de API se numără ingineri software pensionari, avocați, militari, studenți și mulți alți oameni care au idei matematice / ingeniozitate, dar au nevoie de ajutor cu formalismul și au nevoie de cineva care să le verifice ideile. Ar trebui să ne așteptăm ca aceste tendințe să se accelereze.

Ipoteza #3. Oamenii vor rămâne în centrul cercetării matematice. Asta e cea mare. Dacă privim înapoi de-a lungul istoriei – întotdeauna am schimbat definiția matematicii pentru a fi ceea ce mașinile nu pot automatiza. O mare parte din munca unui matematician la începutul anilor 1800 era rezolvarea ecuațiilor. Dar calculatoarele timpurii au automatizat o mare parte din această muncă de rutină, eliberând matematicienii să facă muncă mai creativă sau abstractă. Pentru viitorul previzibil, credem că AI va rămâne la fel. Matematicienii vor petrece mai puțin timp verificând corectitudinea și demonstrând leme simple, iar instrumente precum Aristotel îi vor ajuta să-și dedice timpul explorării unor concepte mai profunde. În cele din urmă, pe măsură ce Aristotel devine mai capabil, matematicienii îl vor ghida pe Aristotel și va fi ca și cum ai avea la dispoziție o echipă de colaboratori matematici extrem de talentați și riguroși, unde îi poți îndruma în direcții diferite și ei pot explora frontierele matematice. Oricum, am trecut de faza de tablă și canapea din matematică. Acum este complet digital, colaborativ și cu AI.