[Dịch] Terence Tao: Các công ty trí tuệ nhân tạo đang gây hại cho toán học

  • Người tạo chủ đề Người tạo chủ đề Ma trận
  • Ngày bắt đầu Ngày bắt đầu
tại sao con người chế tạo máy tính làm gì, học ngôn ngữ lập trình làm gì
đẻ ra môn toán làm gì, không có toán vẫn sống mà, có chết đâu
sống cái thời dùng bàn tính như cách đây 1000 năm không được à
Thế kỷ bao nhiêu rồi còn phán thế này thì chịu rồi, không có toán chắc con người chỉ hơn con khỉ ở chỗ biết mặc đồ và chạy lông nhông thay vì leo cây. Toán nó đi suốt chiều dài lịch sử loài người chứ ở đó mà khinh thường. Kể cả khi AI xuất hiện và phát triển mạnh, toán nó vẫn tồn tại và phát triển chứ không biến mất. Với lại toán nó luyện cho con người biết tư duy logic và giải quyết vấn đề trong cuộc sống, chứ không phải chỉ có giải toán.
 
nó mà giải được phương trình P=NP thì lúc đó chắc bọn chửi AI câm mõm hết, vì giải được phương trình này là chữa được toàn bộ bệnh ung thư

trí não con người tới hạn rồi, không phát triển thêm nữa, tương lai phải cộng sinh cùng AI, gắn chip AI hỗ trợ xử lý vào não, thì con người mới vươn lên bước tiến hóa tiếp được
Không dễ ăn vậy đâu, thực tế có vô số cái phức tạp so với lý thuyết. Như cái vaccine mARN đấy, lý thuyết thì cũng đơn giản thôi, thực tế làm được ra nó cần mấy chục năm nghiên cứu. AI nó xử lý được bài toán này thì lại đẻ ra bài toán khác khó hơn, vòng lặp cứ vô hạn cho đến khi nó không thể xử lý nổi.
 
Vấn đề này rất nghiêm trọng (và đã được biết trước), và chưa có cách nào thoát ra được với nguyên tắc hoạt động của LLM (AI) hiện tại.

LLM hiện tại được train dựa trên dữ liệu khổng lồ của loài người tích lũy từ trước tới giờ, và "độ tốt" của nó sẽ phụ thuộc vào chính nguồn dữ liệu đó.

Lấy ví dụ trong lập trình chẳng hạn, giả sử có một vấn đề P, và LLM đưa ra hai giải pháp S1 và S2. Giải pháp S1 tốt hơn nhưng phức tạp và cần nhiều kiến thức để hiểu hơn S2, lập trình viên không đủ khả năng sẽ có xu hướng chọn S2.

Do vậy sẽ dẫn tới vòng lặp sau đây: lập trình viên kém => chọn S2 => S2 sẽ xuất hiện nhiều hơn S1 => LLM học trên dữ liệu mới sẽ có xu hướng đưa ra S2 => S1 rơi vào quên lãng => lập trình viên sử dụng LLM chỉ thấy S2 => lập trình viên càng kém đi.

Vòng lặp này không thể thoát ra được với nguyên tắc hoạt động hiện tại của ML: data sử dụng để học càng kém, thì nó càng kém.

Với Toán học tình huống cũng y hệt như vậy: LLM dùng các hiểu biết Toán học đã tích lũy cả ngàn năm để đưa ra cực nhanh các lời giải cho các giả thuyết rất khó, nhưng khi làm điều đó, nó không thực sự tạo ra hiểu biết mới.

Một nhánh Toán học được phát triển là do các nhà Toán học liên tục đặt các câu hỏi (có thể hoàn toàn ngớ ngẩn) và tìm cách suy nghĩ trả lời. Trong quá trình đó, kiến thức và hiểu biết được tạo ra (nhưng có thể chưa được sử dụng ngay, rất rất nhiều các kết quả được tạo ra từ vài chục năm trước khi nó được sử dụng).

Khi LLM can thiệp vào quá trình này, các bài toán lớn trong quá khứ được giải quyết, nhưng lượng kiến thức sinh ra rất ít. Các thế hệ sau không có kiến thức để học, LLM cũng không có gì để học, chất lượng kém đi, cứ thế rơi vào vòng lặp.

Đó là ý của bài "tuyên ngôn" kia về sự lệch pha giữa AI và Toán học, chứ không phải là các nhà Toán học ngăn cản việc sử dụng AI (Terence Tao là một trong những người đầu tiên sử dụng LLM, và rất chủ động làm điều này).
Nói đâu xa, nhìn đám code hiện giờ là thấytương lai rồi. Mới có 2-3 năm mà giờ tắt mạng đi cái chắc 70% thợ gõ éo làm nổi cái gì nữa. Để tầm 10-20 năm nữa thì kiến thức của con người chỉ còn là mớ kiến thức làm sao để hỏi ai ra kết quả, chứ éo còn khả năng tự làm. AI nó train xong mớ kiến thức con người là cũng dừng lại do ko tự tựo đc kiến thức mới
 
Thế kỷ bao nhiêu rồi còn phán thế này thì chịu rồi, không có toán chắc con người chỉ hơn con khỉ ở chỗ biết mặc đồ và chạy lông nhông thay vì leo cây. Toán nó đi suốt chiều dài lịch sử loài người chứ ở đó mà khinh thường. Kể cả khi AI xuất hiện và phát triển mạnh, toán nó vẫn tồn tại và phát triển chứ không biến mất. Với lại toán nó luyện cho con người biết tư duy logic và giải quyết vấn đề trong cuộc sống, chứ không phải chỉ có giải toán.
thay chữ toán bằng AI là ra, mấy thằng như anh y chang bọn chửi môn toán lúc nó ra đời
 
GS Châu lên bài phản đối rồi anh em. AI gây hại cho cộng đồng toán học. Vì nó giỏi quá.
V092S5K.gif
 
thay chữ toán bằng AI là ra, mấy thằng như anh y chang bọn chửi môn toán lúc nó ra đời
???? Đa số mọi người học toán không phải để nghiên cứu toán, và đa số kiến thức phổ thông với đại học thực chất không áp dụng trực tiếp vào đời sống, tất cả các môn chứ không riêng gì toán. Nhưng anh có dám tự tin mướn thằng tốt nghiệp tiểu học hoặc mẫu giáo để làm nhân viên cho anh, kể cả công việc tay chân không? Tự trả lời nhé. Có AI hay không có AI chả liên quan mẹ gì đến việc học cả. Cái cần học vẫn phải học.
 
cái cần làm của con người là học ngôn ngữ mã nhị phân, và hiểu logic của bọn AI, chứ đéo phải là kìm hãm nó

anh đéo học được ngoại ngữ, thì anh cấm người khác học ngoại ngữ luôn à


bọn lập trình viên bây giờ cobol còn đéo đọc được, thì chấp nhận thất nghiệp để con AI nó viết code hộ đi

thế giới đéo thiếu người hiểu được mã nhị phân, những người này sẽ cùng AI đưa loài người vào kỷ nguyên phát triển kinh hoàng sắp tới
Hiểu được mã nhị phân = đưa con người vào kỷ nguyên phát triển. Ăn chơi bao nhiêu ký đá mới thốt ra được câu này vậy. Ngôn ngữ bậc cao ngoài dễ đọc cho con người còn có 1 tỷ cái lợi ích vượt trội hơn ngôn ngữ máy đấy. Lời giải AI cũng tương tự, ra kết quả thì ra đấy cơ mà con người không đọc được, không phát triển được khái niệm mới, không kết nối kiến thức đã dùng. Nó không tạo ra cái gì mới cả. Cái người ta hướng tới khi giải quyết một vấn đề là tạo ra sự phát triển cho toán học. Lời giải của AI không tạo ra được điều đó lại còn kiềm hãm các nhà toán học giải quyết lời giải -> Phá hủy nền toán học
 
Field Medalists nhưng AI nó còn giỏi hơn cả Fields. :look_down:
Giỏi cả hơn Field?? Giữa một thằng học sinh suốt chỉ biết cắm đầu giải toán bài nào nó cũng biết làm từ bài dễ như của học sinh tiểu học đến IMO với một giáo sư đầu ngành, định hướng phát triển một nhánh toán học, đóng góp gần cuộc đời cho toán, cho ra bao nhiêu định lý, kết nối các lĩnh vực toán lại với nhau thấy vô lý không. Tôi ngày xưa đi học có mấy bài giải tích giáo tôi lên bảng làm còn vò đầu bức tay trong khi dưới tôi làm được nhưng tôi không bao giờ nhận mình thông minh hơn giáo cả
 
Giỏi cả hơn Field?? Giữa một thằng học sinh suốt chỉ biết cắm đầu giải toán bài nào nó cũng biết làm từ bài dễ như của học sinh tiểu học đến IMO với một giáo sư đầu ngành, định hướng phát triển một nhánh toán học, đóng góp gần cuộc đời cho toán, cho ra bao nhiêu định lý, kết nối các lĩnh vực toán lại với nhau thấy vô lý không. Tôi ngày xưa đi học có mấy bài giải tích giáo tôi lên bảng làm còn vò đầu bức tay trong khi dưới tôi làm được nhưng tôi không bao giờ nhận mình thông minh hơn giáo cả

Thôi anh. Nó giỏi hơn Fields ở khả năng tính toán ấy. Tức là giáo sư có giỏi đến mấy cũng không có sức mạnh cơ bắp để tính toán được.
EB2RUU6.gif
 
Cái này đáng lo thật. Trước đây, để giải 1 bài toán khó, có khi mất cả vài trăm năm, trong quá trình đó, các nhà toán học đã phải giải nhiều bài toán phụ, tìm ra nhiều phương pháp mới, chứng mình các định lý trung gian…Và có khi bài toán gốc chưa được giải thì những phương pháp mới, những kết quả của các bài toán trung gian kia đã được mang vào áp dụng cho không chỉ Toán mà có rất nhiều lĩnh vực khác. Giờ thì bùm, AI với khối lượng tính toán khổng lồ giải bài toán gốc, nhưng những cái phụ, những cái trung gian kia có thể chả bao giờ con người hiểu và ứng dụng được.
Anh nói làm tôi nhớ tới bài toán xấp xỉ số pi. Ngày xưa toàn chơi dùng đa giác đều rồi tính tỉ lệ chu vi/đường chéo, rồi tăng dần số cạnh lên để tìm ra pi. Kinh điển nhất là lão Ludolph van Ceulen, dùng cả đời để tìm ra được 35 chữ số thập phân theo cách này.

Sau đấy đến khi Newton phát minh ra đạo hàm giải tích, rồi tìm ra chuỗi hội tụ bậc 2 của số pi thì từ đó không ai dùng đa giác để xấp xỉ pi nữa vì cách đó tính toán nhiều hơn nhưng vẫn chậm vl :sexy_girl:

Quan trọng ở đây là phương pháp giải tích không phải chỉ để tìm pi, mà nó còn ứng dụng trong tất cả ngành vật lý với toán đến tận bây giờ. Nên giả sử AI tồn tại từ thời Ceulen trước khi có giải tích (thực tế AI nó được xây trên nền tảng lý thuyết giải tích nên làm gì có chuyện AI có trước giải tích), thì tôi nghĩ nó có thể đẩy số chữ số thập phân của pi lên hàng triệu hàng tỉ cũng được, nhưng không có chuyện nó đẻ ra được phương pháp giải tích cho đời sau đâu.
 
Thôi anh. Nó giỏi hơn Fields ở khả năng tính toán ấy. Tức là giáo sư có giỏi đến mấy cũng không có sức mạnh cơ bắp để tính toán được.
EB2RUU6.gif
A nghĩ Toán học chỉ là sức mạnh tính toán cơ bắp thôi à :ops: Một nhà Toán học họ phải vắt óc suy nghĩ để đưa ra hệ định nghĩa, họ phải có một thứ trực giác siêu phàm để kết nối các định nghĩa thông qua các định lý, mệnh đề bổ đề, hệ quả,... được chứng minh chặt chẽ chứ đâu đơn thuần là tính toán :ops: Rồi họ còn phải xem xét các hệ định nghĩa đó có tối thiểu đủ để suy ra được hệ lý thuyết hay không, rồi phải loại bỏ những thứ dư thừa. Rồi có những định nghĩa trừu tượng đến mức không thể hiểu được nhưng Toán học vẫn đưa và giải quyết được rất nhiều vấn đề. Theo anh nói thì khả năng tính toán của AI là mạnh hơn, vậy về bản chất nó có khác gì các công cụ đâu, như Mathematica bậc cao hơn chứ có moẹ gì. Rồi người ta có thể đưa các ý tưởng từ các nhánh Toán học khác vào để xây dựng cho hướng đanh bế tắc, thậm chí đưa ý tưởng từ các nhánh khác vào để phát triển. Liệu AI đã chứng minh tất cả các khả năng trên chưa hay mới là có một bài toán? Hầu hết các bài toán thiên nhiên kỷ này người ta đều kỳ vọng là sẽ mở ra những nhánh Toán học mới chứ không phải chỉ đơn thuần giải nó là xong. Mà chắc a chưa từng đọc bài báo về Toán học đúng không?
 
A nghĩ Toán học chỉ là sức mạnh tính toán cơ bắp thôi à :ops: Một nhà Toán học họ phải vắt óc suy nghĩ để đưa ra hệ định nghĩa, họ phải có một thứ trực giác siêu phàm để kết nối các định nghĩa thông qua các định lý, mệnh đề bổ đề, hệ quả,... được chứng minh chặt chẽ chứ đâu đơn thuần là tính toán :ops: Rồi họ còn phải xem xét các hệ định nghĩa đó có tối thiểu đủ để suy ra được hệ lý thuyết hay không, rồi phải loại bỏ những thứ dư thừa. Rồi có những định nghĩa trừu tượng đến mức không thể hiểu được nhưng Toán học vẫn đưa và giải quyết được rất nhiều vấn đề. Theo anh nói thì khả năng tính toán của AI là mạnh hơn, vậy về bản chất nó có khác gì các công cụ đâu, như Mathematica bậc cao hơn chứ có moẹ gì. Rồi người ta có thể đưa các ý tưởng từ các nhánh Toán học khác vào để xây dựng cho hướng đanh bế tắc, thậm chí đưa ý tưởng từ các nhánh khác vào để phát triển. Liệu AI đã chứng minh tất cả các khả năng trên chưa hay mới là có một bài toán? Hầu hết các bài toán thiên nhiên kỷ này người ta đều kỳ vọng là sẽ mở ra những nhánh Toán học mới chứ không phải chỉ đơn thuần giải nó là xong. Mà chắc a chưa từng đọc bài báo về Toán học đúng không?
giãy mạnh lên, 2 năm nữa là thất nghiệp như bọn thợ code thôi
 
tại sao con người chế tạo máy tính làm gì, học ngôn ngữ lập trình làm gì
đẻ ra môn toán làm gì, không có toán vẫn sống mà, có chết đâu
sống cái thời dùng bàn tính như cách đây 1000 năm không được à
Từ ngày trồng lúa nước là đã dùng toán để tính ngày tháng năm rồi fen, bàn tính hay máy tính thì vẫn là tool
 

Thống kê chủ đề

Ngày tạo
Ma trận,
Người trả lời cuối
SpaceXAI,
Trả lời
300
Lượt xem
25.119
Quay lại
Lên đầu trang