[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

  • Người tạo chủ đề Người tạo chủ đề ancxyzmnq
  • Ngày bắt đầu Ngày bắt đầu
Hôm rồi vừa đọc có thằng cha dev của claude (hay AI khác không nhớ) vừa đi bộ vừa cầm điện thoại nói chơi chơi " mày giải Giả thuyết Riemann" đi. Và nó đẩy tiến độ giải Giả thuyết Riemann lên đến 7x % thì phải, hàng trăm năm cả nhân loại làm tới 4x% :ah:
 
đợi các giáo sư với hội đồng toán học check chéo nát bét ra đã chứ lều báo cứ giật tít phồng tôm thế này :doubt: nghe hơi văn vở lùa gà

Giờ có Lean rồi nên check chỉ cần vài phút thôi.
Giáo sư là để xác định xem đó có đúng là bài toán mình cần giải hay không.
 
Có thể dùng thuần tiếng Việt giải thích lại chỗ bôi đen đen của anh được không?Anh diễn giải hơi tối ý :angry:
ý đơn giản ở đây là phương trình này có thể vẫn đúng trong các điều kiện tự nhiên. Còn phản ví dụ openAI đưa ra nó là điều kiện cực kỳ nhân tạo, lý thuyết. Nên có thể ko có nhiều ý nghĩa (tôi ko biết gì chỉ đoán ý nhé)
 
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 :))
đội engineer thì sao anh, cụ thể là kĩ sư cơ khú
 
Cái vụ này còn đang bóc phốt ầm ỹ bọn openAI ăn cắp hướng đi của ông giáo sư kia để lên văn lùa gà, thế mà chưa gì 1 đống bố đã vào hype skynet với chả AI hơn con người như thật ấy :doubt:
 
ý đơn giản ở đây là phương trình này có thể vẫn đúng trong các điều kiện tự nhiên. Còn phản ví dụ openAI đưa ra nó là điều kiện cực kỳ nhân tạo, lý thuyết. Nên có thể ko có nhiều ý nghĩa (tôi ko biết gì chỉ đoán ý nhé)

Câu trả lời ngắn gọn là: Về mặt toán học lý thuyết, OpenAI đã giải quyết thành công điều kiện cốt lõi của Bài toán Thiên niên kỷ Navier-Stokes; nhưng về mặt ứng dụng thực tế ngoài đời thực, chứng minh này có rất ít giá trị ứng dụng trực tiếp.
 
đội engineer thì sao anh, cụ thể là kĩ sư cơ khú
Tùy anh nhìn nhận sao thôi à, chứ hiện tại thì Fable 5.1 hay GPT 6 đều tích hợp thẳng vào CAD rồi, con GPT thấy khen có vision xịn sò. Có thể vẽ CAD từ prompt. Nếu input chỉnh chu tôi nghĩ có thể cắt bớt họa viên. Hoặc kiếm thêm việc về đè nó :)) render thì khỏi nói. Giờ cả vẽ mạch PCB, vẽ thiết kế cơ khí đều có thể hỗ trợ để làm nhanh hơn xưa nhìu. Giờ là cuộc chiến của token :)) chứ đắt vl ra thì thuê nhân công đông lào đỡ
 
Hôm rồi vừa đọc có thằng cha dev của claude (hay AI khác không nhớ) vừa đi bộ vừa cầm điện thoại nói chơi chơi " mày giải Giả thuyết Riemann" đi. Và nó đẩy tiến độ giải Giả thuyết Riemann lên đến 7x % thì phải, hàng trăm năm cả nhân loại làm tới 4x% :ah:
Tùy cách, giải như này là giải local, tức là nó chứng minh được 67% số 0 thõa mãn giả thuyết Reimann chứ không phải tất cả, 99.9999999% cũng không phải tất cả. Có khi muốn chứng minh tất cả thì phải sáng chế ra 1 nhánh toán học mới.
Ví dụ như bài toán Fermat thì người ta cũng chứng minh x^n + y^n = z^n với n = 2, 3, 4, ++++ nhưng tới hồi để giải ra tổng quát thì cần phải tạo ra 1 công cụ mới thậm chí 1 nhánh toán học mới.
 
Tùy cách, giải như này là giải local, tức là nó chứng minh được 67% số 0 thõa mãn giả thuyết Reimann chứ không phải tất cả, 99.9999999% cũng không phải tất cả. Có khi muốn chứng minh tất cả thì phải sáng chế ra 1 nhánh toán học mới.
Ví dụ như bài toán Fermat thì người ta cũng chứng minh x^n + y^n = z^n với n = 2, 3, 4, ++++ nhưng tới hồi để giải ra tổng quát thì cần phải tạo ra 1 công cụ mới thậm chí 1 nhánh toán học mới.
Có vẻ như tiến bộ từ 4x% lên 67% ko đơn giản là mở rộng phép thử ấy bro, nó ko giống việc máy tính tiến bộ trong việc tính ra thêm vài ngàn tỷ số của số pi sau dấu phẩy
 
Có vẻ như tiến bộ từ 4x% lên 67% ko đơn giản là mở rộng phép thử ấy bro, nó ko giống việc máy tính tiến bộ trong việc tính ra thêm vài ngàn tỷ số của số pi sau dấu phẩy
Đương nhiên, nó cao cấp hơn brute force vốn là thử từng số. Bởi vì số là vô hạn, bởi vậy 67% của vô hạn vẫn hơn tỷ tỷ tỷ số.
 

Thống kê chủ đề

Ngày tạo
ancxyzmnq,
Người trả lời cuối
tranhung_hn3,
Trả lời
342
Lượt xem
36.497
Quay lại
Lên đầu trang