Chúng ta thường nói về những bước nhảy vọt lớn trong AI cho toán học, nhưng tôi nghĩ rằng những bước nhỏ cũng ấn tượng không kém. Tương lai của toán học là bây giờ. Tôi đã làm việc trên một nhiệm vụ cụ thể: tìm một chứng minh không có trường hợp cho khả năng đại diện của việc sửa đổi hàm Néron địa phương bằng cách sử dụng sự kết hợp của các thuật ngữ sửa đổi liên quan đến trường hợp nhân. Đây là một loại chứng minh cực kỳ tẻ nhạt, phụ thuộc vào trường hợp, và khá khó chịu. Vì vậy, tôi đã cung cấp đầu vào từ bài báo của mình và hỏi GPT Pro liệu nó có thể gợi ý một chứng minh không có trường hợp hay không. Sau khoảng 15 phút, tôi nhận được một lời giải thích đẹp đẽ, mang tính khái niệm mà đã huy động toàn bộ sức mạnh của đồ thị đối ngẫu của sợi suy thoái - cùng với gợi ý đáng kinh ngạc rằng một phiên bản được chuẩn hóa nhẹ của việc sửa lỗi địa phương thực sự là một chức năng năng lượng. Tôi đã bị sốc. Tôi chưa bao giờ mong đợi một cái nhìn sâu sắc như vậy. Nhìn lại, bây giờ tôi có thể thấy những gì tôi đã bỏ lỡ. Nhưng tôi đã bỏ lỡ nó - và mô hình đã hướng dẫn tôi suốt con đường đến chứng minh. Chứng minh mới này thanh lịch hơn nhiều so với chứng minh trước đó. Tôi chỉ có một tầm nhìn mơ hồ, một dự đoán rằng cách tiếp cận như vậy có thể hoạt động, nhưng sự kết hợp của mô hình giữa nhận thức sâu sắc về tài liệu và sức mạnh tổ hợp của các chiến lược tìm kiếm cây đã dẫn tôi trực tiếp đến cốt lõi khái niệm của chứng minh. Mong chờ những gì các mô hình khác cũng có thể cung cấp.