[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

pocoman2 · Thứ Bảy lúc 19:47

thoisat đã nói:
Cho thím đọc lại #148 lần nữa rồi quay lại nói với tôi là thím có vấn đề đọc hiểu

Đọc rồi và tôi thấy adell hiểu gì về tiên đề. Cái dell gì mà tiên đề euclid mà các nhà bác học tranh cãi cả nghìn năm. Tôi hỏi a tranh cãi ở chỗ nào?

thoisat · Thứ Bảy lúc 19:49

pocoman2 đã nói:
Đọc rồi và tôi thấy adell hiểu gì về tiên đề. Cái dell gì mà tiên đề euclid mà các nhà bác học tranh cãi cả nghìn năm. Tôi hỏi a tranh cãi ở chỗ nào?

Tôi cho anh đọc lại wiki về tiên đề euclid về hai đường thẳng song song, hay muốn tôi bắn link qua

Naruto1001 · Thứ Bảy lúc 19:52

pocoman2 đã nói:
Các bác đã đúc kết những gì tinh túy sáng tạo nhất thì phải làm xong trước 35t. Hơn độ tuổi đó mà chưa có công trình nào ra hồn thì 96.69% là cuối đời cũng ko làm dc trò trống gì.

Đến Einstein cũng thế thôi.

Mà cũng còn gì để phấn đấu nữa khi đã đạt đến đỉnh cao học thuật. Chỉ tập trung vào giảng dạy, chém gió đạo lý, hưởng thụ cuộc sống

Einstein sau 35t vẫn làm nghiên cứu và vẫn có công trình lớn mà, dù ổng chơi bời là chủ yếu. Cơ bản do thành công rồi người ta éo muốn phấn đấu nữa, chứ chả liên quan mịa gì tới tuổi. Đầy ông già khú vẫn làm nghiên cứu khoa học đều đều.

pocoman2 · Thứ Bảy lúc 19:54

thoisat đã nói:
Tôi cho anh đọc lại wiki về tiên đề euclid về hai đường thẳng song song, hay muốn tôi bắn link qua

Đọcn nhưng có hiểu cái vấn đề thằng wiki nó nói ko đấy? Hayblaf thấy nó dẫn thêm 1 đống các tiên đề khác lại cho là đang "tranh cãi"?

Naruto1001 · Thứ Bảy lúc 19:57

thoisat đã nói:
Thế giờ AI viết một cái tiên đề chả ai chứng minh được thì thím có tin k?

Tiên đề phải có ý nghĩa, với càng ít tiên đề càng tốt. các nhà toán học rất ngại vẽ thêm tiên đề, bởi thêm 1 cái tiên đề thôi là đẻ ra thêm cả đống vấn đề phức tạp. Một mô hình toán tốt là một mô hình toán có ít tiên đề nhất có thể nhưng vẫn đủ để mô tả các thứ cần thiết. Một mô hình toán tồi tệ là nhìn đéo đâu cũng thấy tiên đề, vd như cái toán sơ cấp đấy, 1+1=2, 2+2=4, 2+1=3,... nó là vô hạn tiên đề, éo ai thích mô hình kiểu đó cả, nó là rác.

thoisat · Thứ Bảy lúc 19:58

pocoman2 đã nói:
Đọcn nhưng có hiểu cái vấn đề thằng wiki nó nói ko đấy? Hayblaf thấy nó dẫn thêm 1 đống các tiên đề khác lại cho là đang "tranh cãi"?

Viết từ từ thôi thím, thở đều và đọc kỹ vào

yugiohh · Thứ Bảy lúc 20:05

bọn thợ giải toán này cay cú vì sợ mất việc à

đéo khác gì bọn đòi đập phá máy móc vào kỷ nguyên công nghiệp hóa bắt đầu

yugiohh · Thứ Bảy lúc 20:07

thoisat đã nó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ời có máy tính cá nhân chắc cũng có đứa nói giống anh

SpaceXAI · Thứ Bảy lúc 20:07

Thành viên Voz đã nói:
anh nghĩ sao nếu con người cũng chỉ là máy đoán chữ

Nếu thế thật thì văn phong của tôi chắc thuộc dạng lỗi chính tả liên tục rồi :haha:

yugiohh · Thứ Bảy lúc 20:09

0166754962 đã nói:
Đạo nhái thì có chứ ăn cắp ko có nha. Ví dụ 1 công trình đã công bố thì bạn có thể lấy về đạo nhái xào chẻ.
Còn công trình chưa công bố còn nằm trong sổ riêng mà bạn đột nhập nhà nó lấy. Thì đi tù và hủy mọi công trình liên quan
Trong khi các công ty AI lại bắt người dùng bấm nút ok cho phép AI lẻn vào nhà mình thoải mái
Vô lý
Ít nhất phải làm riêng 1 bản chuyên nghiên cứu. Bản này không lấy data cá nhân mà chỉ lấy các công trình công khai trên tạp chí thôi
Còn này nó lấy hềt mọi quá trình ăn ngụ ụ ẻ ngay trong nhà riêng

bọn AI bắt anh xài dịch vụ bọn nó à, sợ lộ dữ liệu thì tự mà build local

mà anh xài internet thì cũng lộ thông tin với nhà mạng rồi đấy, vì phần lớn phần mềm nhắn tin có mã hóa đéo đâu

yugiohh · Thứ Bảy lúc 20:12

Chikabii đã nói:
AI giải được Toán thì mấy ông nhà toán học là phải người đầu tiên lao vào đọc nghiên cứu lời giải của nó, thậm chí một số còn mừng vì nó giải ra ấy chứ. Cái mà các nhà toán học quan tâm là lời giải của AI không con người nào đọc hiểu được, không gain insights nào mới đồng nghĩa với việc không thể áp dung. Nó giống như kiểu ngôn ngữ máy tính 01 và ngôn ngữ lập trình bậc cao vậy. Anh hoàn toàn có thể làm cùng một việc ra kết quả giống nhau bằng cả hai ngôn ngữ nhưng không con người nào đọc hiểu được ngôn ngữ máy cả, nó chỉ đơn giản là sự lặp lại của 0 và 1, chẳng có insight nào cả. Khi không hiểu được, chúng ta không thể sửa đổi và học hỏi để áp dụng nó vào vấn đề tiếp theo mà chúng ta gặp phải . Nhưng ngôn ngữ lập trình bậc cao thì khác, con người có thể đọc hiểu và học hỏi từ code Python và C++ vì nó cấu trúc ngữ pháp rõ ràng và sau đó chúng ta có thể áp dụng những gì mình đã học được vào dự án của mình. Hơn nữa, anh cũng có thể gọi hàm (tương đương với việc sáng tạo ra khái niệm mới bên toán học) để giải quyết vấn đề chứ không cần code lại từ đầu, khi anh muốn sửa hay reuse một cái gì đó anh có thể tìm trong code dễ dàng hơn một dãy 0 và 1. Cái ẩn dụ ở trên là để tôi giải thích tại sao các nhà toán học phản đối lời giải AI. Không phải vì AI giải ra mà là vì chẳng con người nào hiểu lời giải của AI. Chẳng phải là do họ dốt hơn AI mà là việc bắt nhà toán học đọc lời giải của AI cũng giống như việc bắt lập trình viên đọc code 01 vậy

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 à

từ bao giờ mà ngành IT nó tạo ra ngôn ngữ bậc cao, dẫn tới bọn ngu cũng có thể code, giờ AI nó đưa IT về ngành đỉnh cao như hồi đầu thôi

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

0166754962 · Thứ Bảy lúc 20:13

yugiohh đã nói:
bọn AI bắt anh xài dịch vụ bọn nó à, sợ lộ dữ liệu thì tự mà build local

mà anh xài internet thì cũng lộ thông tin với nhà mạng rồi đấy, vì phần lớn phần mềm nhắn tin có mã hóa đéo đâu

Nói như bạn tôi đẻ ra cũng đâu đồng ý với nền pháp trị đâu. Sao vẫn đi tù mỗi lần đột nhập nhà người ta? Lúc tôi mới sinh ra đâu có ai đem hợp đồng ra nôi cho tôi kí đâu

kingvn01 · Thứ Bảy lúc 20:14

dogamer06 đã nói:
Não bộ con người phức tạp hơn nhiều
Cơ mà đám nhân viên sai đâu chỉ đấy thì đoán chữ thật ))

T thấy con người rẻ hơn máy móc nhiều. Bộ não siêu việt, chân tay Linh hoạt. Mà rất rẻ nhé. Mỗi ngày 2000 calorie là sống

. Lại tạo công ăn việc làm. Dân có tiền lại đi chỉ tiêu cho chủ DN. Mô hình đúng đỉnh.

Về 3rd world thuê người thì tha hồ làm đủ việc. AI mà tính đúng giá khéo đắt bằng 2 ông VN outsource.

Giờ hype AI tốn tiền, cost thực rất cao, mà tiền đó vậy đi đâu, ko thấy vào túi dân LĐ.

Sent from Google Pixel 9 Pro via VOZVNApp

yugiohh · Thứ Bảy lúc 20:14

0166754962 đã nói:
Nói như bạn tôi đẻ ra cũng đâu đồng ý với nền pháp trị đâu. Sao vẫn đi tù mỗi lần đột nhập nhà người ta? Lúc tôi mới sinh ra đâu có ai đem hợp đồng ra nôi cho tôi kí đâu

thì bây giờ anh có thể ôm bom cảm tử vào 1 server AI, không ai trên thế giới có thể cản anh nếu anh muốn làm vậy

thoisat · Thứ Bảy lúc 20:15

yugiohh đã nói:
thời có máy tính cá nhân chắc cũng có đứa nói giống anh

Đệt tôi nói có sai chữ nào, tôi dùng hằng ngày AI, cũng chả có chữ nào bài xích phát triển AI, chỉ là tôi không quá lạc quan về AI hay thần thánh nó

0166754962 · Thứ Bảy lúc 20:16

yugiohh đã nói:
thì bây giờ anh có thể ôm bom cảm tử vào 1 server AI, không ai trên thế giới có thể cản anh nếu anh muốn làm vậy

Có nha cản từ sân bay, từ ngoài cổng, từ lúc bạn điều tra địa chỉ nhà Sam altman luôn chứ đâu ra mà ko cản

yugiohh · Thứ Bảy lúc 20:17

temece đã nói:
anh nghĩ sao nếu con người cũng chỉ là máy đoán chữ

phần lớn con người cũng là máy đoán chữ xác suất thôi chứ khác gì

chỉ có vài người khác biệt như newton, einstein, ramanujan thôi

pocoman2 · Thứ Bảy lúc 20:27

thoisat đã nói:
Viết từ từ thôi thím, thở đều và đọc kỹ vào

Tôi đang chờ a phân tích đây. Sao cứ né thế

richikawa · Thứ Bảy lúc 20:39

thoisat đã nói:
Đến cỡ tiên đề mà còn phân tích được như thím bảo như vậy thì toán học nó phát triển rực rỡ rồi. tiên đề là mệnh đề được công nhận là đúng mà không cần hoặc không thể chứng minh, phân tích thế éo nào được nữa

tôi đọc cũng đéo hiểu a nói gì :beat_brick:

tôi tóm tắt ý anh:

Toán, vật lí khó kiểm chứng như code => AI khó giỏi
Thứ là tiên đề => thứ đó không cần (thể) chứng minh
Thứ không thể chứng mình nhưng được đưa ra bởi AI => thứ đó không phải tiên đề. Lí do: vì AI chỉ bịa

cái thứ 3 không logic, mà tôi đoán đại khái ý anh là AI không thể đưa ra tiên đề được nên nó không giúp được gì cho toán/vật lí.

deckelrand7 · Thứ Bảy lúc 20:44

nguyenndong đã nói:
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

Ai cần anh nữa mà đòi cùng vận hành phát triển. Cần người mớm cho nó giải là được rồi.

[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

Member

Senior Member

Senior Member

Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Junior Member

Senior Member

Senior Member

Senior Member

Junior Member

Senior Member

Member

Junior Member

Senior Member

Chủ đề tương tự

Thống kê chủ đề

Chia sẻ trang này