[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

Đơn giản như GS Châu từ hồi có Fields cái chẳng cho ra đời công trình nào nữa. Chỉ ăn chơi hưởng thụ.
JEWoIdl.png
Ông cứ làm như con gà mà đòi đẻ công trình sồn sồn
 
Toán học là một môn thuần logic và tính toán nên chắc AI sẽ cân hết được việc giải. Người sinh học chỉ còn có thể dùng tính sáng tạo để tạo ra lý thuyết mới.
Khi AI giả hết mọi bài toán thì sao con người build logic và ý tưởng mới được nữa. Vì ý tưởng đượctaoj ra từ kinh nghiệm đi giả các bài toán khác.
 
Điều tôi quan tâm đó là bây giờ thi vào khoa toán liệu có còn có ý nghĩa gì? Toán với lập trình chết trước cũng dễ hiểu vì đây là 2 món đúng nghĩa là giải đố dựa vào dữ kiện có sẵn giống cờ vua, chỉ còn engineering là có dựa thêm vào kinh nghiệm, phán đoán (như poker) + thực nghiệm, kỹ năng thì chắc vẫn sống được thêm chục năm.
 
Thay vì chống lại nó, hãy học cách vận hành và phát triển cùng nó.
So tư duy đơn thuần với nó khác nào so cơ bắp với máy cẩu
Cái lối nghĩ Human + AI > thuần AI nó chỉ là cope thôi, 5 năm nữa là biết con người cản trở AI thế nào. Thậm chí ngay bây giờ đây, người ta đang nói đến "Neuralese", là một loại kỹ thuật cho phép AI tự do suy nghĩ bằng ngôn ngữ tự nhiên của nó ko cần phải dịch sang ngôn ngữ con người đọc được. Neuralese khiến cho AI chạy cực kỳ hiệu quả, nhưng đánh đổi là con người sẽ hoàn toàn ko còn kiểm soát được AI đang nghĩ gì, mở đường cho nó lừa dối chính chủ. Nghĩa là chính hiện tại dù chưa ai bắt nhưng chính loài người đã tự chặt chân AI rồi thì vai trò của con người với AI trong tương lai chỉ có là hạn chế, quản lý AI chứ đâu phải là để giúp AI mạnh hơn.
 
tôi nghĩ với sự tiến bộ của AI , tới lúc đó nó sẽ làm anh sướng lè lưỡi dựa vào data của anh, sở thích, hành vi .... thích ấm , nóng , giọng điệu cử chỉ , ve vút gì nó làm y thật , chịu gì nổi, không phải dạng búp bê tầm thường hiện tại đâu =))
Giới hạn phần cứng, tuy là đám openweight cũng phát triển nhưng vẫn cách xa đám frontier. Đang lên đỉnh lại chờ gọi Api thì chết
2avLY9u.gif
 
AI phát triển quá thì AI + robot nó cần con người làm chủ để làm gì nữa :doubt: khả năng skynet chắc chắn có thật, nghiêm trọng hơn là con người hiện nay đang mạnh tay thúc đẩy quá trình đó mà không có cách nào ngăn chặn :D
 
Tôi có nhớ là có đọc được Terence Tao cũng có tham gia nghiên cứu thuật toán học AI deep learning. Nhớ mang máng nên không tìm được thông tin chính xác...
 
Giới hạn phần cứng, tuy là đám openweight cũng phát triển nhưng vẫn cách xa đám frontier. Đang lên đỉnh lại chờ gọi Api thì chết
2avLY9u.gif
hiện tại thôi , tương lại 30-40 năm nữa chưa biết gì đâu, từ 2021 ra mắt con ai đầu tiên đến giờ 2026 mới có 5 năm mà nó lật đổ bao nhiêu thứ rồi 40 năm nữa tôi nghĩ nó thay thế rất nhiều thứ mà con người nghĩ là ko thay thế được, bánh xe thời đại xoay ko ai cản được đâu
 
AI nó nói mấy bài này dễ vãi l** mà bọn mày giải cả thế kỉ không ra.
AI rõ ràng chưa cover được tất cả vấn đề trong vũ trụ, toán đang cố gắng làm việc đó, vậy nên rõ ràng là sẽ có những bài toán mà AI không thể giải quyết. Đầy vấn đề ra mà mấy ông lại sợ cùn kĩ năng là thế nào, hay mấy ông chỉ đang giải toán theo kpi, đề nào khó thì để lại cho con cháu. ;)
 
Tôi cho rằng cũng chẳng thay thế được con người đâu, đặc biệt là những bộ óc bá đạo kiểu như Enstein, Newton, Rieman. Làm sao AI có trí tưởng tượng để có thể đầu tư nguồn lực vào việc giải quyết 1 vấn đề khi không biết nó đúng hay sai, chắc nó chỉ chạy tư duy logic tính toán để thử tất cả các khả năng
 
Tôi không giỏi toán nên tôi không dám cãi nhau với các nhà toán học, nhưng tôi tưởng là giải được các bài toán thế kỷ hoặc chứng minh được các định lý quan trọng thì sẽ mang tới rất nhiều lợi ích cho nhân loại chứ nhỉ? Còn việc AI chứng minh được thì chắc chắn là có thể hỏi lại nó "cách chứng minh, suy luận" cơ mà? Tất nhiên là để các ông tự mò thì các ông mới thông minh ra, nếu vậy thì đừng có mà dựa vào mệnh đề hay định lý nữa, các ông tự chứng minh từ đầu mà không sử dụng những lý thuyết sẵn có đi, cứ như toán học không kế thừa cái gì từ xưa tới nay không bằng.

Không khác gì thợ thủ công đập máy dệt vì cho rằng khiến cho bàn tay con người không còn khéo léo nữa
 
Cái bài toán này và cách AI giải cũng buồn cười phết.
Ví dụ đơn giản mà dễ hiểu là mệnh đề đưa ra giống như nói rằng "Mọi con thiên nga đều màu trắng - Ai chứng minh được 1 triệu đô"
AI thay vì chứng minh điều trên thì nó đi tìm 1 con thiên nga màu đen là xong.
 
Mấyông thần công nghệ thì quan trọng gì đúng sai chặt chẽ, cứ ra được cái product chớp nhoáng để lùa vốn đầu tư là húp hết, chứ ngồi chờ chứng minh định lý chuẩn chỉ có mà đóp gió à :matrix:
 
Tụi nó cứ suốt ngày tuyên truyền kiểu AI nó làm hết, khỏi học hành mất công, rồi trình độ con người ngày càng ngu, rồi để cho mấy thằng trùm đứng sau AI nó điều khiển theo ý muốn.
Còn xứ nào đó, học sinh đã éo có khả năng đọc hiểu rồi, giờ lại nhồi AI cho chúng nó, mai mốt liệt cmn não luôn, IQ chắc còn thua mấy con tinh tinh. Tư duy phản biện éo có, suy luận logic éo có, khả năng phân tích và giải quyết vấn đề éo có, thậm chí còn éo có khả năng đặt câu hỏi. Thật đáng sợ là những đứa như vậy có nguy cơ leo lên làm quan chức rồi xã hội lại lãnh hậu quả do sự ngu si của chúng nó. Một vòng suy thoái vô tận.
Thì giờ mang tiếng iq tinh hoa nhưng anh xem nó lead xứ này tới âu rùi. T nghĩ thà nó ngu rùi làm theo AI có khi còn thơm hơn đấy. AI chỉ có hại cho thằng nào giỏi tiệm cận AI thui, còn ngu hơn nó hay giỏi hơn hoàn toàn thì không cần lo :shame:
 
Tôi không giỏi toán nên tôi không dám cãi nhau với các nhà toán học, nhưng tôi tưởng là giải được các bài toán thế kỷ hoặc chứng minh được các định lý quan trọng thì sẽ mang tới rất nhiều lợi ích cho nhân loại chứ nhỉ? Còn việc AI chứng minh được thì chắc chắn là có thể hỏi lại nó "cách chứng minh, suy luận" cơ mà? Tất nhiên là để các ông tự mò thì các ông mới thông minh ra, nếu vậy thì đừng có mà dựa vào mệnh đề hay định lý nữa, các ông tự chứng minh từ đầu mà không sử dụng những lý thuyết sẵn có đi, cứ như toán học không kế thừa cái gì từ xưa tới nay không bằng.

Không khác gì thợ thủ công đập máy dệt vì cho rằng khiến cho bàn tay con người không còn khéo léo nữa

Mấy ông giáo sư cay cũng đúng thôi, bao nhiêu định hướng cắm đầu cắm cổ đi chứng minh nó tồn tại, nhưng đùng 1 cái AI nó chứng minh rằng nó không tồn tại. Khác nào thành trò hề suốt bao nhiêu năm, còn đòi trao giải 1 triệu đô cho ai chứng minh được.
 
Sửa lần cuối:
Tôi không giỏi toán nên tôi không dám cãi nhau với các nhà toán học, nhưng tôi tưởng là giải được các bài toán thế kỷ hoặc chứng minh được các định lý quan trọng thì sẽ mang tới rất nhiều lợi ích cho nhân loại chứ nhỉ? Còn việc AI chứng minh được thì chắc chắn là có thể hỏi lại nó "cách chứng minh, suy luận" cơ mà? Tất nhiên là để các ông tự mò thì các ông mới thông minh ra, nếu vậy thì đừng có mà dựa vào mệnh đề hay định lý nữa, các ông tự chứng minh từ đầu mà không sử dụng những lý thuyết sẵn có đi, cứ như toán học không kế thừa cái gì từ xưa tới nay không bằng.

Không khác gì thợ thủ công đập máy dệt vì cho rằng khiến cho bàn tay con người không còn khéo léo nữa
cái luận điểm bôi đậm đúng rồi đấy, nhưng không có nghĩa như ý sau của anh nói. bất cứ ngành nghề nghiên cứu nào thì cũng phải dựa trên thành quả đi trước. trong quá trình từ cái thứ sẵn có để ra được tri thức mới ta mới học hỏi được nhiều điều
Tai13tX.png
, riêng tôi thấy đây là vấn đề lớn nhất khi để AI làm toán/nghiên cứu thay con người: chúng ta sẽ mất đi cơ hội để học từ sai lầm của bản thân
8wAwbJg.gif
 
sau này các giải fields/thiên niên kỷ...sẽ là cuộc đua giữa các model AI thôi, ông nào train dc con AI giải được mấy bài toán đang bí thì sẽ đoạt giải thưởng và vinh danh :go:
Cũng k cần train mà phải mớm được đúng hướng. Như vụ navier stoke thì hướng đi đúng thêm ngàn cái đầu cày dùm chục năm, giúp nhân loại đi nhanh hơn lun. Đợi mấy bố toán ếu biết bao giờ có tokamak hay du hành vũ trụ, vì các bố vẫn chỉ tư duy mô hình bằng số thuần, chỉ có nhà vật lý toán học mới làm nên điều kì diệu khi đem đến sức sống cho con số. :sure:
 
Ai làm hết thì đéo ai muốn kiếm tiền bằng làm toán nữa
Kết quả là các nhà toán học nằm thẳng hoặc bỏ nghề
Đầu vào khoa Toán 3 môn 9 điểm
 
Tôi cho rằng cũng chẳng thay thế được con người đâu, đặc biệt là những bộ óc bá đạo kiểu như Enstein, Newton, Rieman. Làm sao AI có trí tưởng tượng để có thể đầu tư nguồn lực vào việc giải quyết 1 vấn đề khi không biết nó đúng hay sai, chắc nó chỉ chạy tư duy logic tính toán để thử tất cả các khả năng
thế giới bói đâu ra nhiều thiên tài vậy được, chỉ cần tầm vài trăm thôi, còn hiện giờ vài nghìn vài triệu ráo sư đang són dái vì AI có thể đá đít ổng ra đường
 

Thống kê chủ đề

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