Thì cũng giống mấy thợ code thay vì tự code thì chuyển sang review code bọn AI làm ra.Sau khi đấm sml mấy anh thợ code thì giờ đến nhà toán học cũng chung số phận
Nhưng mà kiểm chứng kiểu gì thím, code chạy là nó sẽ chạy trên máy tính, còn toán thì nạp vào đầu như đọc chân kinh à. Mấy tiên đề của euclid nghe nó hiển nhiên mà còn bao nhiêu bộ óc cãi nhau cả nghìn năm, ai dám tin phát biểu của AI
Công trình đó là tay toán học kia chưa công khai. AI nó lấy thẳng dữ liệu cá nhân.Đạo nhái mà không ghi credit vào lời dẫn nó đào mả ông lên, hội đồng phản biện nó bóp cổ ông, phải nói là dựa vào nghiên cứu này tôi chỉ thay đổi một tý, và thế là có bài nghiên cứu. đấy thằng openai đang cãi nhau với tay nhà toán học vì không credit mà nói là tự làm kìa
do ông chưa đủ tầm toán học , giống như ông đủ tầm dev thì ông mới biết nó đúng sai thế nào , đúng sai từ đoạn nào , thiết kế, xử lý, phân luồng , sử dụng hàm gì, chip gì , mạng gì cho tối ưu? , chứ đứa tay ngang làn nhàng vứt vào thì đúng là gõ 1+1 ra được 2 là xong
Ngôn ngữ máy còn dịch được ra ngôn ngữ bậc cao cho con người đọc chứ lời giải của AI dịch ra cho con người kiểu gì giờQuan trọng có giải được không. Chứ đọc hiểu lời giải thì dễ không ấy mà.
Đế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ữado ông chưa đủ tầm toán học , giống như ông đủ tầm dev thì ông mới biết nó đúng sai thế nào , đúng sai từ đoạn nào , thiết kế, xử lý, phân luồng , sử dụng hàm gì, chip gì , mạng gì cho tối ưu? , chứ đứa tay ngang làn nhàng vứt vào thì đúng là gõ 1+1 ra được 2 là xong
tôi nghĩ tương lai AI nó sẽ làm thay đổi cách nghĩ nàyĐế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
Thì các bác phải ngồi mà đọc thẩm từng dòng cái chứng minh/lời giải của AI chứ sao.
Tiên đề thì còn phân tích dell gì nữa. Mà có dell gì để phân tích. Tiên đề Euclid cãi nhau cái gì nhỉ?Đế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
Thế giờ AI viết một cái tiên đề chả ai chứng minh được thì thím có tin k?
Như cái bài toán Fermat lớn chứng minh xong, các nhà toán học cũng mất hơn 1 năm rưỡi mới xác minh dc lời giải đó đúng hay sai. Ở đó mà dễ.Quan trọng có giải được không. Chứ đọc hiểu lời giải thì dễ không ấy mà.
Đã gọi là tiên đề thì làm dell gì có chuyện phải chứng minh?
Thì đấy, thím sồn lên làm cái gì nói thím kia nói tôi làm gì. Nếu nó không chứng minh được và không có trong thực tế thì là AI nó bịa. Éo ai mà tin được. Còn lại các nghiên cứu mà thím chỉ ra là AI-assist, chưa từng có cái nào là 100% AI cả nên lạc quan về AI là quá sớm
Chắc Tao cay cú lắm. Học toán đến bạc tóc mà không bằng cái phần mềm AI giải cái roẹt, hỏi sao không cay
Mấy tên gốc hoa mới cay chứ toán học bình thường cay làm gì. Do tụi nó toàn làm máy tính tích phân hình người chứ sáng tạo gì mấy đâu.Chắc Tao cay cú lắm. Học toán đến bạc tóc mà không bằng cái phần mềm AI giải cái roẹt, hỏi sao không cay
A có hiểu tiên đề là gì ko đã mà cứ đòi phải chứng minh tiên đề?
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
Bơm 1000000 tỷ tỷ đô cho AI nó cũng không làm nổi. Nó chỉ là cỗ máy tổng hợp thông tin. không thể tạo ra gia thuyết hay bất cứ tiên đề nào mới. Vì chính con người cũng ko hiểu sao đám bác học huyền thoại chế radc những thứ phi thường như thế. Thì sao AI làm dc
