[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

mấy ô khoa học thì giẫy vậy thôi, chứ đám tư bản, công ty to cần là thành quả tiên phong để phát triển công nghệ mới, thì cũng chả quan tâm là người hay AI giải

đây cũng là 1 vấn đề của thời đại: dùng AI để càn quét ra thành quả (trong ngắn hạn) thúc đẩy khoa học, hay đợi (trong nhiều năm) 1 thiên tài đột phá?
cái nguy hiểm nó nằm ở đó, khi không ai giải thích được kết quả do AI tạo ra thì không thể kiểm soát được rủi ro và ra được barrier cho cái kết quả đó cả, giao phó toàn bộ lại cho AI???
 
Đọc bài này phải respect bác Tao. Đồng ý 100% các luận điểm của bác. Nếu lạm dụng AI trong nghiên cứu toán học thì sẽ đứt gãy cm luôn thế hệ nghiên cứu tiếp theo. K ai làm khi mà 10 năm nghiên cứu có thể bị tg khác vượt qua chỉ sau 2 tuần spam LLM. Sự chia sẻ thông tin thuần túy sẽ biến mất khi giới toán học tràn ngập nghi ngờ. Thực tế là việc đặt đúng câu hỏi cho 1 vấn đề có nhiều ý nghĩa hơn ở hiện tại. Nhà toán học đưa ra những hướng giải quyết, suy đoán và AI hỗ trợ giải quyết việc thử những hướng tiếp cận đó, việc này bớt hàng nghìn giờ nghiên cứu bằng cơm. Nhưng cũng dẫn đến rủi ro bảo mật khi thg chủ cty nó tiếp cận đc log chat và AI cũng học từ log chat đó. Sẽ đến lúc bùng nổ các công bố nghiên cứu bằng AI, mà k có đủ nhà toán học giải thích, diễn giải và đào tạo. Và đó là lúc mà loài người chỉ biết dùng kết quả thay vì hiểu toán học.
 
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

Toán giờ có ai vào nữa đâu. Trừ sư phạm Toán.
EB2RUU6.gif
 
Bên thiết kế viết lách cũng dính đạn. Bấm phím tí ra sản phẩm.

Sắp tới mà làm đc 3d thì rất thú vị.

Cũng may bên kế toán nó vẫn ngu. Trả lời rất dễ sai

Sent from Google Pixel 9 Pro via VOZVNApp
fen cũng kế toán hả? Có vẻ như chưa có con nào chuyên kế toán thôi, chứ nó tổng hợp số liệu các loại văn bản, công văn, biên bản kiểm tra thì cũng chưa biết ai ăn ai đâu fen,
 
fen cũng kế toán hả? Có vẻ như chưa có con nào chuyên kế toán thôi, chứ nó tổng hợp số liệu các loại văn bản, công văn, biên bản kiểm tra thì cũng chưa biết ai ăn ai đâu fen,

Nó dễ sai lắm. Kế toán là ngôn ngữ kinh doanh, kèm theo nhiều artifacts từ cuộc sống và hệ thống. Nó ko hiểu đc nên lỗi tùm lum. Ví dụ có 1 bảng chi phí âm, 1 file khác chi phí dương, là hỏi 2 câu là lộn tùng phéo. Vứt cho báo cáo tài chính phân tích là bịa chỉ số vl. Hợp nhất tập đoàn với CTY còn và thành viên là nói không rõ ràng là đang nói cái nào. Hỏi lại cái là bốc phét liền

Chia nhỏ task và thành lọc từ trước thì nó làm đc.

Sent from Google Pixel 9 Pro via VOZVNApp
 
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

AI nó phát triển nhanh quá nên nhiều người chưa chấp nhận được thực tế thôi, nhưng trước sau gì cũng sẽ phải chấp nhận thôi, kể cả thiên tài
 
Đọc bài này phải respect bác Tao. Đồng ý 100% các luận điểm của bác. Nếu lạm dụng AI trong nghiên cứu toán học thì sẽ đứt gãy cm luôn thế hệ nghiên cứu tiếp theo. K ai làm khi mà 10 năm nghiên cứu có thể bị tg khác vượt qua chỉ sau 2 tuần spam LLM. Sự chia sẻ thông tin thuần túy sẽ biến mất khi giới toán học tràn ngập nghi ngờ. Thực tế là việc đặt đúng câu hỏi cho 1 vấn đề có nhiều ý nghĩa hơn ở hiện tại. Nhà toán học đưa ra những hướng giải quyết, suy đoán và AI hỗ trợ giải quyết việc thử những hướng tiếp cận đó, việc này bớt hàng nghìn giờ nghiên cứu bằng cơm. Nhưng cũng dẫn đến rủi ro bảo mật khi thg chủ cty nó tiếp cận đc log chat và AI cũng học từ log chat đó. Sẽ đến lúc bùng nổ các công bố nghiên cứu bằng AI, mà k có đủ nhà toán học giải thích, diễn giải và đào tạo. Và đó là lúc mà loài người chỉ biết dùng kết quả thay vì hiểu toán học.
Những rủi ro đó cũng giống hệt khi có 1 thiên tài sinh ra thôi. Nhưng khác ở chỗ.
Bạn không thể cướp công trình của 1 thiên tài và làm tiếp trên đó nếu ko dc sự đồng ý của thiên tài đó
Còn AI lại có quyền lấy sạch công trình của các thiên tài thoải mái mà không có bất cứ hạn chế gì
Đáng lẽ ra AI phải tuân thủ nguyên tắc giữ chi tiết của các công trình nghiên cứu trong bí mật. Nhưng nếu làm thế thì AI lại chẳng còn tác dụng gi nữa
 
Bên thiết kế viết lách cũng dính đạn. Bấm phím tí ra sản phẩm.

Sắp tới mà làm đc 3d thì rất thú vị.

Cũng may bên kế toán nó vẫn ngu. Trả lời rất dễ sai

Sent from Google Pixel 9 Pro via VOZVNApp
3d thì bên bọn meta có cái project gì đó , làm cho vui chứ chưa ra hồn , nhưng vài năm nữa cũng ra hồn đấy, đưa ảnh 2d vào nó gen ra mô hình 3d , mấy anh designer khóc thét
 
Nó dễ sai lắm. Kế toán là ngôn ngữ kinh doanh, kèm theo nhiều artifacts từ cuộc sống và hệ thống. Nó ko hiểu đc nên lỗi tùm lum. Ví dụ có 1 bảng chi phí âm, 1 file khác chi phí dương, là hỏi 2 câu là lộn tùng phéo. Vứt cho báo cáo tài chính phân tích là bịa chỉ số vl. Hợp nhất tập đoàn với CTY còn và thành viên là nói không rõ ràng là đang nói cái nào. Hỏi lại cái là bốc phét liền

Chia nhỏ task và thành lọc từ trước thì nó làm đc.

Sent from Google Pixel 9 Pro via VOZVNApp
thử con hĩm claude chưa thím, còn này khôn lắm đấy
 
Nó dễ sai lắm. Kế toán là ngôn ngữ kinh doanh, kèm theo nhiều artifacts từ cuộc sống và hệ thống. Nó ko hiểu đc nên lỗi tùm lum. Ví dụ có 1 bảng chi phí âm, 1 file khác chi phí dương, là hỏi 2 câu là lộn tùng phéo. Vứt cho báo cáo tài chính phân tích là bịa chỉ số vl. Hợp nhất tập đoàn với CTY còn và thành viên là nói không rõ ràng là đang nói cái nào. Hỏi lại cái là bốc phét liền

Chia nhỏ task và thành lọc từ trước thì nó làm đc.

Sent from Google Pixel 9 Pro via VOZVNApp
Mình thấy giờ dữ liệu cập nhật cho nó còn ít với lại mỗi nước có hệ thống kế toán và cách thức cqt làm việc khác nhau. Hỏi nó lúc đầu có thể sai nhưng chat với nó 1 hồi cộng thêm kinh nghiệm thực tế của mình vào hỏi nó thì mình thấy cũng tham khảo được 1 ít
 
Thế giới sẽ không bao giờ sinh ra được Einstein hay Newton nữa. Các ngành nghiên cứu sẽ bị thu hẹp lại rất mạnh và không còn tính hấp dẫn. Einstein sẽ đi làm bốc vác hoặc đĩ đực. Nếu may mắn mà Einstein có thể bắt đầu làm nhà nghiên cứu thì ngay khi có ý tưởng thì đã bị AI ăn cắp và ra kết quả ưu việt hơn. Einstein sẽ bị đuổi khỏi trường và phải làm phò. À, đó là ví dụ thôi chứ với nhan sắc của Einstein thì làm éo gì có cửa làm phò.
 
Những rủi ro đó cũng giống hệt khi có 1 thiên tài sinh ra thôi. Nhưng khác ở chỗ.
Bạn không thể cướp công trình của 1 thiên tài và làm tiếp trên đó nếu ko dc sự đồng ý của thiên tài đó
Còn AI lại có quyền lấy sạch công trình của các thiên tài thoải mái mà không có bất cứ hạn chế gì
Đáng lẽ ra AI phải tuân thủ nguyên tắc giữ chi tiết của các công trình nghiên cứu trong bí mật. Nhưng nếu làm thế thì AI lại chẳng còn tác dụng gi nữa

Gớm quá. Ăn cắp thì sao đâu nhỉ. Ăn cắp trong học thuật là điều rất bt.
EB2RUU6.gif
 
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.
Nhưng thím ơi đây là LLM chứ có phải AI tư duy logic đâu, nó là cái máy đoán chữ thôi. Chẳng qua bọn LLM ăn may là bản chất ngôn ngữ là đơn vị thông tin chứa tri thức rồi. Giờ không có các khầy như khầy Châu hay khầy Tao nghĩ ra chữ mới thì cũng feed hết trí tuệ nhân loại hiện tại cho LLM, rồi chúng nó tự ăn tự ỉa token thì cũng ngu dần. Lúc đấy các khầy cũng xuống lỗ, trí tuệ loài người bị suy giảm do lạm dụng LLM
 
Thím nào mà có viễn cảnh lạc quan với AI thay thế tất cả mọi thứ, thì chưa cãi nhau với AI bao giờ, nhất là các vấn đề giả định và lý thuyết nó ngu vl, tôi làm vật lý lý thuyết kiểu hobby còn thấy nó ngu dù tốn cả đống tiền. Khầy Linus dùng AI giấu tên còn dùng AI để sửa được driver gpu, dù nó cãi chày cối là éo sửa được. Phải biết là sửa cái đó khó vì là phần mềm bậc thấp và phải có tư duy logic, nên tôi éo tin và tôi éo lạc quan về AI. Cho nó nổ bóng đi để còn có model ngon về chạy local
 
Thím nào mà có viễn cảnh lạc quan với AI thay thế tất cả mọi thứ, thì chưa cãi nhau với AI bao giờ, nhất là các vấn đề giả định và lý thuyết nó ngu vl, tôi làm vật lý lý thuyết kiểu hobby còn thấy nó ngu dù tốn cả đống tiền. Khầy Linus dùng AI giấu tên còn dùng AI để sửa được driver gpu, dù nó cãi chày cối là éo sửa được. Phải biết là sửa cái đó khó vì là phần mềm bậc thấp và phải có tư duy logic, nên tôi éo tin và tôi éo lạc quan về AI. Cho nó nổ bóng đi để còn có model ngon về chạy local

Chắc anh hỏi AI chatbot à. AI chuyên vật lý ấy. AI chatbot nó có xác suất thôi. Dùng sai công cụ lại đổ tại.
EB2RUU6.gif
 

Thống kê chủ đề

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