Nhiều người trong chúng ta cảm thấy một cách trực giác rằng lĩnh vực toán học sẽ thay đổi, vì vậy hãy cùng khám phá những kết quả có khả năng xảy ra, mà không cần phải phóng đại hay bi quan.

Giả thuyết #1: Số lượng chứng minh toán học và tổng hợp dữ liệu toán học sẽ mở rộng theo cấp số nhân. Điều này có lẽ không gây tranh cãi. Các mô hình AI, dưới sự chỉ đạo của con người, đã tạo ra một lượng lớn toán học. Bây giờ, nút thắt đã chuyển từ việc tạo ra toán học sang việc xác minh tính chính xác của nó. Aristotle, sử dụng @leanprover, giải quyết vấn đề xác minh bằng cách cho phép mỗi chứng minh có thể được kiểm tra bằng máy. Khi công nghệ cải thiện, độ dài và độ phức tạp của các chứng minh được tạo ra sẽ tiếp tục tăng lên.

Giả thuyết #2. Sẽ có nhiều nhà toán học hơn rất nhiều trong 10 năm tới so với hiện tại. Bằng cách tự động hóa công việc nặng nhọc của việc xác minh và chứng minh các định lý đơn giản, Aristotle không chỉ có thể tăng tốc công việc của các nhà toán học chuyên nghiệp tinh vi, mà còn hạ thấp rào cản để những người khác có thể đóng góp. Trong số những người dùng API beta của chúng tôi có các kỹ sư phần mềm đã nghỉ hưu, luật sư, quân nhân, sinh viên và nhiều người khác có ý tưởng / sự sáng tạo toán học nhưng cần sự trợ giúp với hình thức và cần ai đó xác minh ý tưởng của họ. Chúng ta nên mong đợi những xu hướng này sẽ gia tăng.

Giả thuyết #3. Con người sẽ vẫn là trung tâm của nghiên cứu toán học. Đây là điều lớn lao. Nếu chúng ta nhìn lại lịch sử -- chúng ta luôn thay đổi định nghĩa về toán học để trở thành những gì mà máy móc không thể tự động hóa. Một phần lớn công việc của một nhà toán học vào đầu những năm 1800 là giải các phương trình. Nhưng những chiếc máy tính sớm đã tự động hóa nhiều công việc thường nhật này, giải phóng các nhà toán học để thực hiện những công việc sáng tạo / trừu tượng hơn. Trong tương lai gần, chúng tôi tin rằng AI sẽ giống như vậy. Các nhà toán học sẽ dành ít thời gian hơn để xác minh tính chính xác và chứng minh các định lý đơn giản, và các công cụ như Aristotle sẽ giúp họ dành thời gian để khám phá các khái niệm sâu hơn. Cuối cùng, khi Aristotle trở nên mạnh mẽ hơn, các nhà toán học sẽ điều khiển Aristotle và nó sẽ giống như có một đội ngũ cộng tác viên toán học cực kỳ tài năng và nghiêm túc sẵn sàng hỗ trợ bạn, nơi bạn có thể chỉ họ theo những hướng khác nhau và họ có thể khám phá các ranh giới toán học. Dù sao đi nữa, chúng ta đã vượt qua giai đoạn bảng phấn và ghế sofa trong toán học. Bây giờ nó hoàn toàn kỹ thuật số, hợp tác và được hỗ trợ bởi AI.