[Mỹ] AI có thể vừa giải được một bài toán trị giá một triệu đô la. Toán học sẽ không bao giờ còn như trước

hackjck · 9/9/26

flame1602 đã nói:
Ngày xưa là đội thợ gõ, xong giờ là đội ạc tít, tiếp nữa chắc là đội phim ảnh, luật sư, bác sĩ. Cơ mà cũng chả thay ai, thì có mấy thằng vừa lì vừa cố chấp thì tụt hậu )

Ai với ng thường như tối là quá ghe gớm rồi.
Cần vẽ logo, tạo form tính cứ vứt data => nói yêu cầu => done ngon lành.
Đến mấy cái điện tử tôi cũng check lên AI nó chỉ từng hướng xử lí=> Quan trọng là xử lí đúng luôn mới hay. =((

Đưa data => bảo nó vẽ biểu đồ => Dự đoán 1 vài TH sau phát triển =. Ok done ngon luôn.
Đến cái khám bệnh tôi cũng chụp kq, triệu chứng ra AI => nó tìm ra 1 đống phương án cho mình tham khảo xem BS phán ntn luôn.

Chủ Tiệm · 9/9/26

Có cái có vẻ hơn buồn là bài toán này giải được là nhờ tìm ra phản chứng, cũng như định lý Fermat mà tìm ra phản chứng (hên là không) hay sắp tới giả thuyết Riemann tìm ra phản chứng. Vì nếu mỗi lần tìm ra phản chứng giống như là cái nền móng nó bị mục, hoặc là vá nó còn không phải đập đi xây lại. Mỗi lần tìm ra phản chứng thì con người lại ngu đi (cảm giác của tôi thôi)

Location F33 · 9/9/26

Chủ Tiệm đã nói:
Có cái có vẻ hơn buồn là bài toán này giải được là nhờ tìm ra phản chứng, cũng như định lý Fermat mà tìm ra phản chứng (hên là không) hay sắp tới giả thuyết Riemann tìm ra phản chứng. Vì nếu mỗi lần tìm ra phản chứng giống như là cái nền móng nó bị mục, hoặc là vá nó còn không phải đập đi xây lại. Mỗi lần tìm ra phản chứng thì con người lại ngu đi (cảm giác của tôi thôi)

Định lý Fermat giải được cũng là do tìm ra phản chứng mà bro?

danglinh3009 · 9/9/26

Chủ Tiệm đã nói:
Có cái có vẻ hơn buồn là bài toán này giải được là nhờ tìm ra phản chứng, cũng như định lý Fermat mà tìm ra phản chứng (hên là không) hay sắp tới giả thuyết Riemann tìm ra phản chứng. Vì nếu mỗi lần tìm ra phản chứng giống như là cái nền móng nó bị mục, hoặc là vá nó còn không phải đập đi xây lại. Mỗi lần tìm ra phản chứng thì con người lại ngu đi (cảm giác của tôi thôi)

Sai rồi anh. Tìm ra phản chứng là cách duy nhất để giải bài toán. Đạt kết quả là được.

tanthienlang · 9/9/26

Tao nghĩ tầm 10 năm nữa thôi viễn cảnh như trong phim sẽ hiện thực hóa rồi.

Chủ Tiệm · 9/9/26

Location F33 đã nói:
Định lý Fermat giải được cũng là do tìm ra phản chứng mà bro?

Ý là phản chứng của trường hợp x^n + y^n = z^n. Còn chứng mình bằng phản chứng là chuyện bình thường.
Ví dụ năm sau AI tìm ra con số 0 ở vị trí xyz nào đó trong giả thuyết Riemann thì có phải là rất chán không? Mặc dù tôi vẫn tôn trọng kết quả, số 0 phản chứng đó có thể mở ra cánh cửa mới cho nhân loại nhưng giả thuyết sẽ mất đẹp và toán học sẽ phải làm lại từ đầu hoặc đi đường khác.

Chủ Tiệm · 9/9/26

danglinh3009 đã nói:
Sai rồi anh. Tìm ra phản chứng là cách duy nhất để giải bài toán. Đạt kết quả là được.

Nếu có phản chứng về mặt toán thì về mặt thực tế có khả thi không? Điểm kì dị đó nếu có thì cũng có thể ngang với việc con người dùng toán để tiên đoán về sự có mặt của các lỗ đen vỗ trụ.
Hoặc đập đi xây lại. Hoặc xuất hiện nhưng điều ngoài tự nhiên mà chúng ta chưa hề biết tới (như lỗ đen đã từng) :go:

Location F33 · 9/9/26

Chủ Tiệm đã nói:
Ý là phản chứng của trường hợp x^n + y^n = z^n. Còn chứng mình bằng phản chứng là chuyện bình thường.
Ví dụ năm sau AI tìm ra con số 0 ở vị trí xyz nào đó trong giả thuyết Riemann thì có phải là rất chán không? Mặc dù tôi vẫn tôn trọng kết quả, số 0 phản chứng đó có thể mở ra cánh cửa mới cho nhân loại nhưng giả thuyết sẽ mất đẹp và toán học sẽ phải làm lại từ đầu hoặc đi đường khác.

mình ko hiểu, khi đã kiểm tra và xác nhận rồi thì định lý đấy là đúng, không thể tìm ra phản chứng nữa chứ? Nếu bây giờ Riemann được chứng minh và kiểm tra là đúng thì sẽ không thể tìm ra phản chứng

danglinh3009 · 9/9/26

Chủ Tiệm đã nói:
Nếu có phản chứng về mặt toán thì về mặt thực tế có khả thi không? Điểm kì dị đó nếu có thì cũng có thể ngang với việc con người dùng toán để tiên đoán về sự có mặt của các lỗ đen vỗ trụ.
Hoặc đập đi xây lại. Hoặc xuất hiện nhưng điều ngoài tự nhiên mà chúng ta chưa hề biết tới (như lỗ đen đã từng)

Lời giải của AI giống như việc tìm ra áp lực tối đa khiến một cây cầu toán học bị sập. Tuy ngoài đời chúng ta không bao giờ xây một cây cầu để nó sập, nhưng việc biết chính xác lực tác động nào (ngoại lực \(f\)) và cấu trúc xoáy nào có thể làm sập cầu là cơ sở tối quan trọng để các kỹ sư thiết kế máy bay, dự báo thiên tai một cách an toàn và chính xác hơn.
Nó có ý nghĩa là giảm lỗi thôi. Chứ thực tế ít khi xảy ra.

Chủ Tiệm · 9/9/26

Location F33 đã nói:
mình ko hiểu, khi đã kiểm tra và xác nhận rồi thì định lý đấy là đúng, không thể tìm ra phản chứng nữa chứ? Nếu bây giờ Riemann được chứng minh và kiểm tra là đúng thì sẽ không thể tìm ra phản chứng

Tôi vẫn chưa hiểu ý fen. Riemann hiện tại thì chưa tìm ra phản chứng, tôi nói là tìm ra phản chứng thì nó mất vui thôi. Chứ nó tính đúng thì vẫn là đúng, sao cãi được.

nts069 · 9/9/26

Chừng nào AI giải được bài toán tìm X thì tôi mới quỳ lạy nhé :misdoubt:

Location F33 · 9/9/26

Chủ Tiệm đã nói:
Tôi vẫn chưa hiểu ý fen. Riemann hiện tại thì chưa tìm ra phản chứng, tôi nói là tìm ra phản chứng thì nó mất vui thôi. Chứ nó tính đúng thì vẫn là đúng, sao cãi được.

ko, mà khi đã được kiểm tra là chứng minh đúng ấy thì ko thể có khả năng tìm ra phản chứng ấy chứ bác, chứng minh toán học nó chặt chẽ lắm chứ

noinho94 · 9/9/26

Nó cho cả kỹ sư cấp cao ra chuồng gà luôn ấy chứ. Ngày trước cần kỹ sư cấp cao vì nhiều kinh nghiệm đã làm và xử lý hàng nghìn biến số khí động học. Giờ giải toán xong có công thức rồi cứ áp vào mà làm thôi :go:

via theNEXTvoz for iPhone

^_^Cool^_^ · 9/9/26

luongnguyen1993 đã nói:
Cách đây vài năm khi open AI ra mắt mô hình đầu tiên chắc k ai nghĩ mọi thứ tiến nhanh đến vậy nhỉ, h lục lại mấy comment chửi AI hồi đó chắc chết cmn cười mất

Chỉ vài năm mà lạc hậu kinh hồn.

Chủ Tiệm · 9/9/26

Location F33 đã nói:
ko, mà khi đã được kiểm tra là chứng minh đúng ấy thì ko thể có khả năng tìm ra phản chứng ấy chứ bác, chứng minh toán học nó chặt chẽ lắm chứ

Đúng rồi.Thì ở đây chúng ta có giả thuyết.
A/ Chứng minh đúng với mọi trường hợp -> oke thiên hạ thái bình
B/ Phát hiện 1 phản chứng ở vị trí xyz -> xem coi có vá được chỗ nào không
-> Vá được, oke quay lại, mọi thứ ổn
-> Không vá được, giả thuyết sụp, xây lại từ đầu hoặc đi hướng khác.
Tùy vào ai tìm ra trước thôi, A hay B, không thể có cả 2 được.
Tôi thì cá nhân thích A hơn B, còn toán học thì vẫn là toán học, đúng lá đúng, vậy thôi.

Hanma Yujiro · 9/9/26

vừa mới ra mô hình mới là giải luôn bài toán thế kỉ.

AGI incoming

NateRiver · 9/9/26

Nếu thật sự phải cần nhờ đến AI để hỗ trợ giải dc bài toán này thì các bài thiên niên kỷ còn lại cũng phải nhờ AI hết thôi, nên nhớ là hàng trăm năm qua con người mới chỉ giải dc 1 bài trong khi AI mới chỉ rầm rộ dc vài năm thôi đấy, tốc độ phát triển kinh hồn :bad_smelly:

nts069 · 9/9/26

luongnguyen1993 đã nói:
Cách đây vài năm khi open AI ra mắt mô hình đầu tiên chắc k ai nghĩ mọi thứ tiến nhanh đến vậy nhỉ, h lục lại mấy comment chửi AI hồi đó chắc chết cmn cười mất

Location F33 · 9/9/26

Chủ Tiệm đã nói:
Đúng rồi.Thì ở đây chúng ta có giả thuyết.
A/ Chứng minh đúng với mọi trường hợp -> oke thiên hạ thái bình
B/ Phát hiện 1 phản chứng ở vị trí xyz -> xem coi có vá được chỗ nào không
-> Vá được, oke quay lại, mọi thứ ổn
-> Không vá được, giả thuyết sụp, xây lại từ đầu hoặc đi hướng khác.
Tùy vào ai tìm ra trước thôi, A hay B, không thể có cả 2 được.
Tôi thì cá nhân thích A hơn B, còn toán học thì vẫn là toán học, đúng lá đúng, vậy thôi.

A và B của bác ở mốc thời gian định lý chưa được chứng minh hay sao? nếu có A rồi làm sao có B được nữa???

dogamer06 · 9/9/26

Hanma Yujiro đã nói:
vừa mới ra mô hình mới là giải luôn bài toán thế kỉ.

AGI incoming

NateRiver đã nói:
Nếu thật sự phải cần nhờ đến AI để hỗ trợ giải dc bài toán này thì các bài thiên niên kỷ còn lại cũng phải nhờ AI hết thôi, nên nhớ là hàng trăm năm qua con người mới chỉ giải dc 1 bài trong khi AI mới chỉ rầm rộ dc vài năm thôi đấy, tốc độ phát triển kinh hồn

Mấy hôm nay có lão tố cáo là lời giải của con GPT là dựa trên tài liệu, phương hướng được up lên GPT rồi bọn OpenAI nhận là công của bọn nó rồi.

Nói chung là vẫn cần có bộ óc để điều hướng nó hoạt động, chứ không phải vứt cho nó rồi kêu giải đi là xong đâu. Chẳng qua bình thường người không thể chơi trò brute force được chứ vứt cái phương hướng đấy rồi kêu 10000 con agent nó làm theo hướng đã đề ra thì cũng đủ sức đấy.

Mà thế thì tương lai về cái gọi là nghiên cứu khéo cũng phải cho OpenAI là co supervisor cũng nên :shame:

[Mỹ] AI có thể vừa giải được một bài toán trị giá một triệu đô la. Toán học sẽ không bao giờ còn như trước

Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Senior Member

Đã tốn tiền

Senior Member

Đã tốn tiền

Đã tốn tiền

Senior Member

Senior Member

Senior Member

Chủ đề tương tự

Thống kê chủ đề

Chia sẻ trang này