Birçoğumuz sezgisel olarak matematik alanının değişeceğini hissediyoruz, bu yüzden olası sonuçları abarıştırmadan ya da kıyametciliğe başvurmadan çözelim.

Hipotez #1: Matematiksel ispat sayısı ve toplam matematiksel veri miktarı üssel olarak artacaktır. Bu belki tartışmasız. İnsanların yönetimindeki yapay zeka modelleri şimdiden çok sayıda matematik üretiyor. Şimdi darboğaz, matematiği yaratmaktan doğruluğunu doğrulamaya geçti. @leanprover kullanan Aristoteles, her ispatın makine tarafından kontrol edilebilir olmasını sağlayarak doğrulama sorununu çözer. Teknoloji geliştikçe, oluşturulan ispatların uzunluğu ve karmaşıklığı artmaya devam edecektir.

Hipotez #2. 10 yıl içinde bugünküden dramatik şekilde daha fazla matematikçi olacak. Doğrulama zahmetini otomatikleştirerek ve basit lemmaları kanıtlayarak, Aristoteles sadece son derece sofistike profesyonel matematikçilerin işini hızlandırmakla kalmaz, aynı zamanda başkalarının katkı sağlaması için giriş engelini de düşürebilir. Beta API kullanıcılarımız arasında emekli yazılım mühendisleri, avukatlar, askerler, öğrenciler ve matematiksel fikirleri / yaratıcılığı olan ancak formalizm konusunda yardıma ihtiyacı olan ve fikirlerini doğrulamak isteyen birçok kişi var. Bu eğilimlerin hızlanmasını beklemeliyiz.

Hipotez #3. İnsanlar matematik araştırmalarının merkezinde kalacak. Bu büyük olay. Tarihe geriye bakarsak -- matematiğin tanımını her zaman makinelerin otomatlaştıramadığı şey olarak değiştirdik. 1800'lerin başında bir matematikçinin çalışmalarının büyük bir kısmı denklemleri çözmekti. Ancak erken hesap makineleri bu rutin işin çoğunu otomatikleştirdi ve matematikçilere daha yaratıcı/soyut işler yapmaları için serbest bıraktı. Öngörülebilir gelecekte yapay zekanın da aynı olacağına inanıyoruz. Matematikçiler doğruluğu doğrulamak ve basit lemmaları kanıtlamak için daha az zaman harcayacak, Aristoteles gibi araçlar ise zamanlarını daha derin kavramları keşfetmeye ayırmalarına yardımcı olacak. Sonunda, Aristoteles daha yetenekli hale geldikçe, matematikçiler Aristoteles'i yönlendirecek ve bu, elinizde son derece yetenekli ve titiz matematiksel işbirlikçilerden oluşan bir ekip gibi olacak; onları farklı yönlere yönlendirip matematiksel sınırları keşfedebilecekler. Her neyse, matematiğin tahta ve koltuk aşamasını geçtik. Artık tamamen dijital, işbirlikçi ve yapay zeka destekli.