[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

caithemanhnam đã nói:

vụ chôm thành quả của lão buck là thật thì thằng openAI chak đang rất nát mới bất chấp mọi thứ để fomo.

Nhấp để mở rộng...

NateRiver đã nói:

Thì thuộc về buckmaster thôi, nhưng fen phải hiểu tầm cỡ những người hay cty nào góp phần giải dc bài toán này, thì 1tr đô nó là thứ quá nhỏ nhặt so với những tiến bộ khoa học vượt bậc của nhân loại với mỗi bài toán thiên niên kỷ dc giải, thằng openai bỏ mấy chục củ giải dc coi như chi phí marketing con AI của nó nên cầm 1 củ đô làm gì cho mang tiếng ra

Giờ mà bảo bỏ ra tầm trăm tỏi đô để chắc chắn giải dc thêm bài nữa thì khối nước cũng bỏ ra ấy chứ, bằng 1/10 ngân sách quốc phòng hằng năm của mẽo thôi chứ mấy

Ví dụ bài toán nếu P = NP được chứng minh

Xem tệp đính kèm 3789525

Nhấp để mở rộng...

bpqd2013 đã nói:

sao lại ko giải nổi?
OpenAI thuần ăn cắp, xào chẻ, đọc lại mấy post mấy page đầu của tôi trong thread nhé
AI nó tăng tốc tính toán là đúng, cơ mà bảo "AI giải Navier Stokes" là tào lao, trò truyền thông

Nhấp để mở rộng...

Than.Rua.Kame đã nói:

Xào chẻ gì pa. Ko có AI thì có khi xuống lỗ rồi còn đéo biết giải đúng hướng hay ko. Giờ toán học với AI là cộng sinh rồi. Tầm 3-5 năm nữa AI nó tự ra đề tự giải luôn thì chúng sanh chỉ lo ăn ngủ đ* *a.

Nhấp để mở rộng...

bpqd2013 đã nói:

Có bằng chứng gì ko?

Nhấp để mở rộng...

aladanh đã nói:

lảm nhảm gì vậy a, tôi đang nói ai nó hỗ trợ con người mạnh như thế nào chứ có chống lại hay gây hại cho con người đâu

Nhấp để mở rộng...

motophankhoilon đã nói:

mấy cái bài toán lượng tử
rồi gộp thuyết điện từ gì với thuyết tương đối gì gì đó kiểu 1 siêu lí thuyết
AI nó có khả năng làm đc k nhỉ

Nhấp để mở rộng...

phongdev25 đã nói:

cái bọn giáo sư mà giải mấy bài toán này hay bọn open AI thì cno quan tâm gì đến 1tr đô đâu bác. Mình nhớ cái ông gs nào ấy cũng giải đc 1 trong 7 bài toán này, ông ấy bảo k cần lấy tiền thưởng luôn.

Nhấp để mở rộng...

Fzen đã nói:

Lão Buckmaster quá tuổi nhận huy chương Fields rồi

Nhấp để mở rộng...

Naruto1001 đã nói:

1 củ đô cũng to đấy, ở đó mà ko thèm. Còn ông Perelman kiểu tửng tửng rồi không chấp, ổng từ chối giải Fields, giải Thiên niên kỷ, từ chối lời mời qua làm việc tại các đại học top bên Mẽo, từ chối việc làm tại viện Toán của Nga, lui về vườn ở ẩn. Éo biết còn sống ko hay ngủm cmnr, biết đâu bị chính phủ Nga bắt đi nghiên cứu vũ khí cmnr cũng nên.

Nhấp để mở rộng...

yugiohh đã nói:

để giải thích tại sao cái này cực kỳ quan trọng trong khoa học kỹ thuật

vì phương trình này chưa được chứng minh

-nên khi thiết kế thiết bị khí động học, phải chạy mô phỏng hàng triệu, tỷ trường hợp để chắc chắn khi vận hành thực tế không bị lỗi, thời gian R&D kéo dài hàng chục năm
-và phải thiết kế dày hơn đáng kể nhằm ngăn chặn rủi ro


nếu phương trình này chứng minh thành công

-R&D rút ngắn còn vài tháng
-chế tạo máy bay, tên lửa mỏng hơn đáng kể, tiết kiệm nhiên liệu vận hành tầm 20-30%

Nhấp để mở rộng...

Arlecchino đã nói:

Vua nghề giờ cũng bị AI nó vả bốm bốp vào mặt, mà giờ không chỉ vua nghề, nghề nào cũng bị đe dọa.

Nhấp để mở rộng...

yugiohh đã nói:

để giải thích tại sao cái này cực kỳ quan trọng trong khoa học kỹ thuật

vì phương trình này chưa được chứng minh

-nên khi thiết kế thiết bị khí động học, phải chạy mô phỏng hàng triệu, tỷ trường hợp để chắc chắn khi vận hành thực tế không bị lỗi, thời gian R&D kéo dài hàng chục năm
-và phải thiết kế dày hơn đáng kể nhằm ngăn chặn rủi ro


nếu phương trình này chứng minh thành công

-R&D rút ngắn còn vài tháng
-chế tạo máy bay, tên lửa mỏng hơn đáng kể, tiết kiệm nhiên liệu vận hành tầm 20-30%

Nhấp để mở rộng...

Nongdan2017 đã nói:

Hơi quá rồi thím. Thực tế các công cụ tính toán, mô phỏng công nghiệp gần như tối ưu rồi. Vì dù chưa chứng minh được toán học nhưng biểu hiện của nó vẫn đang được áp dụng rộng rãi rồi.
Ảnh hưởng về kinh tế thì chắc một vài ngành sâu như Y học, động cơ phản lực cải thiện được chút thôi.

Nhấp để mở rộng...

danglinh3009 đã nói:

Các giáo sư check lâu vậy khéo AI nó check trong 1 giây.

Nhấp để mở rộng...

Ngày Mai Chưa Đến đã nói:

Tóm tắt drama
Buckmaster là một trong những chuyên gia hàng đầu trong lĩnh vực, và cũng là một trong những ứng viên được kỳ vọng nhất sẽ giải được bài toán NS trước khi cuộc tranh cãi này nổ ra – bối cảnh là vậy. Dòng thời gian như sau: Tháng 9 năm ngoái, anh cùng Levent (lúc đó đã gia nhập Anthropic) bắt tay vào bài toán này, toàn bộ bản thảo đều nằm trong OpenAI Codex và không sử dụng tài nguyên của Anthropic. Đến tháng 8 năm nay, họ có được một số kết quả bước đầu, nhưng bài báo vẫn chưa hoàn chỉnh, và trong quá trình đó họ dùng Codex để biên tập. Cũng trong thời gian đó, Levent – cộng sự của anh – bắt đầu sử dụng mô hình nội bộ của Anthropic để "quét" hàng loạt bài toán, gây ra tranh cãi lớn. Buckmaster lo ngại thành quả của mình sẽ bị đánh đồng là một phần trong đợt quét bài của Anthropic, nên đã chủ động làm rõ với người bạn là nhà toán học ở OpenAI rằng đây hoàn toàn là dự án cá nhân. Đó là đầu tháng 9. Lưu ý: trước thời điểm này, anh chưa từng tiếp xúc với OpenAI, chưa từng hợp tác với bất kỳ nhà khoa học nào của OpenAI, điểm giao duy nhất chỉ là bản thảo để trong Codex.

Thế nhưng chưa đầy một tuần sau, OpenAI thông báo với Buckmaster rằng họ đã dùng mô hình nội bộ để độc lập tạo ra kết quả mạnh hơn. Họ đưa ra hai lựa chọn:

1. Buckmaster công bố kết quả một phần của cả hai trước, hôm sau OpenAI công bố kết quả mạnh hơn.
2. Để Buckmaster đứng tên bài báo về kết quả mạnh hơn, nhưng ghi công (credit) cho mô hình của OpenAI và loại bỏ tên Levent vì anh ấy thuộc về Anthropic.

Buckmaster nổi giận, chất vấn OpenAI liệu họ có xem bản chứng minh để trong Codex không, nhưng nhận lại câu trả lời mập mờ. Điều khiến anh thất vọng hơn nữa là phía OpenAI khăng khăng khuyên anh chọn phương án 2, bảo rằng có lợi cho cả hai bên. Thế là Buckmaster thẳng thừng bác bỏ, đưa chuyện ra ánh sáng, và công bố dấu thời gian của email, toàn bộ lịch sử git commit trong suốt một năm qua, cũng như các kết quả trên Euler.

Nhấp để mở rộng...