Banyak dari kita secara intuitif merasa bahwa bidang matematika akan berubah, jadi mari kita bongkar kemungkinan hasilnya, tanpa menggunakan hiperbola atau doomerisme.

Hipotesis #1: Jumlah bukti matematis dan jumlah agregat data matematika akan berkembang secara eksponensial. Yang ini mungkin tidak kontroversial. Model AI, di bawah arahan manusia, sudah menciptakan matematika dalam jumlah yang banyak. Sekarang kemacetan telah berubah dari membuat matematika menjadi memverifikasi kebenarannya. Aristoteles, yang menggunakan @leanprover, memecahkan masalah verifikasi dengan memungkinkan setiap bukti dapat diperiksa mesin. Seiring dengan peningkatan teknologi, panjang dan kompleksitas bukti yang dibuat akan terus meningkat.

Hipotesis #2. Akan ada lebih banyak matematikawan secara dramatis dalam 10 tahun daripada yang ada saat ini. Dengan mengotomatiskan verifikasi yang membosankan dan membuktikan lema sederhana, Aristoteles tidak hanya dapat mempercepat pekerjaan matematikawan profesional yang sangat canggih, tetapi juga menurunkan penghalang masuk bagi orang lain untuk berkontribusi. Di antara pengguna API beta kami adalah pensiunan insinyur perangkat lunak, pengacara, anggota militer, mahasiswa, dan banyak orang lain yang memiliki ide / kecerdikan matematika tetapi membutuhkan bantuan dengan formalisme dan membutuhkan seseorang untuk memverifikasi ide-ide mereka. Kita harus mengharapkan tren ini untuk dipercepat.

Hipotesis #3. Manusia akan tetap menjadi pusat penelitian matematika. Ini yang besar. Jika kita melihat ke belakang sepanjang sejarah – kita selalu mengubah definisi matematika menjadi apa yang tidak dapat diotomatisasi oleh mesin. Sebagian besar pekerjaan seorang matematikawan pada awal 1800-an adalah memecahkan persamaan. Tetapi kalkulator awal mengotomatiskan sebagian besar pekerjaan rutin ini, membebaskan matematikawan untuk melakukan pekerjaan yang lebih kreatif / abstrak. Untuk masa mendatang, kami percaya AI akan sama. Matematikawan akan menghabiskan lebih sedikit waktu untuk memverifikasi kebenaran dan membuktikan lema sederhana, dan alat seperti Aristoteles akan membantu mereka mendedikasikan waktu mereka untuk mengeksplorasi konsep yang lebih dalam. Akhirnya, ketika Aristoteles semakin mampu, matematikawan akan mengarahkan Aristoteles dan itu akan seperti memiliki tim kolaborator matematika yang sangat berbakat dan ketat yang Anda inginkan, di mana Anda dapat mengarahkan mereka ke arah yang berbeda dan mereka dapat menjelajahi perbatasan matematika. Bagaimanapun, kita telah melewati fase papan tulis dan sofa matematika. Sekarang sepenuhnya digital, kolaboratif, dan diaktifkan AI.