đến năm 2027, chúng ta sẽ không gần gũi với việc chính thức hóa chỉ một vài % những gì toán học đã được sử dụng và trông như thế nào trước khi Wiles chứng minh định lý cuối cùng của Fermat chúng ta cũng sẽ không có AI thực hiện nghiên cứu toán học mới và thực sự vào năm 2035 (hầu hết các bộ vấn đề erdos và IMO không giống như vậy) mà không có toàn bộ điểm và độ khó (đó là figuring out what actually matters and being truly creative) - nó chỉ sẽ tăng tốc các phần mà con người chỉ quan tâm một cách hời hợt (phần chính thức). Nghiên cứu toán học cũng quan trọng như việc xác định những câu hỏi đúng là gì, cái gì thú vị so với cái gì tầm thường và có thể quan trọng nhất là sự hiểu biết thực sự về lý do tại sao một kết quả lại quan trọng (!!!) hơn bất cứ điều gì khác. Điều này cũng không đề cập rằng không phải tất cả các lĩnh vực của toán học đều có "khả năng tiếp cận" tính toán giống nhau chúng ta vẫn còn rất xa (nhưng chúng ta đang gần hơn!) để nghiên cứu, đặc biệt là nghiên cứu toán học, được "dẫn dắt" bởi AI và bất kỳ ai nói với bạn điều ngược lại hoặc có nghĩa là "một định nghĩa cực kỳ nhàm chán về nghiên cứu" hoặc đang nói dối hoặc là một kẻ ngốc hoặc cả ba điều đó Tôi nghĩ ý tưởng rằng một nửa các kết quả toán học mới được tạo ra bởi AI vào năm 2027 là hài hước trừ khi chúng ta bằng cách nào đó bị suy giảm trí tuệ đủ để định nghĩa một kết quả toán học chỉ là một chuỗi ký hiệu chính thức và suy luận logic dựa trên một số quy tắc đơn giản. Để rõ ràng, quan điểm của tôi không phải là "tự động hóa" toán học không hợp lệ, nó rất có giá trị vì nhiều lý do - chủ yếu vì con người sẽ làm toán tốt hơn và hoặc sử dụng thời gian của họ tốt hơn, nhưng chắc chắn nó không có giá trị tự nó và do đó không "tự động hóa nghiên cứu toán học". Quan điểm của tôi cũng không phải là AI sẽ không bao giờ có thể thực hiện nghiên cứu toán học thực sự: Tôi tin rằng nó có thể, nhưng chắc chắn nó sẽ không rơi ra từ công nghệ hiện tại 2020-2025 trong hai năm.

các chàng trai toán học thực sự có thể đứng lên và không đồng ý, tôi không phải là một chàng trai toán học thực thụ, nhưng tôi nghi ngờ rằng một gã máy tính thuần túy hoặc một gã toán học thuần túy sẽ không thể phản đối nhiều vì họ đơn giản là không biết đủ về cả hai bên.

Để rõ ràng, tôi nghĩ rằng chúng ta hiện đang ở thời đại mà AI có thể cung cấp các chứng minh mới khi kết hợp với con người, và tự động hóa sẽ tiếp tục phát triển, và GDM có thể sẽ sớm đạt được Navier-Stokes v.v. Điểm của tôi không phải là nó không hữu ích, chỉ là phần khó khăn cơ bản nhất vẫn và sẽ vẫn do con người điều khiển cho đến khi có những tiến bộ đáng kể trong nghiên cứu AI (từ cơn sốt chỉ sử dụng bộ giải mã mà chúng ta đang có và sẽ còn trong nhiều năm tới).

@nasqret Tôi đã cụ thể hóa quan điểm của mình về "công nghệ hiện tại" là các bộ giải mã tự hồi quy chỉ có transformer + 10000 thứ được gắn hoặc buộc lại với nhau, và theo như tôi biết thì không có gì thực sự đang được phát triển mà có thể trở thành hàng hóa vào năm 2027 (hoặc 2030) để làm điều này khả thi.