Giải mã bài toán toán học 50 năm: Yao Shunyu công bố thành tựu và chiêu mộ nhân tài

< img id="wx_img" src="https://www.qbitai.com/wp-content/uploads/imgs/qbitai-logo-1.png" width="400" height="400">

31-07-2026 14:54:57 Nguồn: QbitAI

Lĩnh vực AI for Science

Yao Shunyu đích thân ra mặt tuyển dụng cho Tencent Hunyuan!

Mục tiêu lần này là những nhân tài trong lĩnh vực AI for Science (sau đây gọi tắt là AI4S).

Tuy nhiên, cách các "ông lớn" tuyển người quả thực rất khác biệt.

JD (mô tả công việc) chi tiết ư? Xin lỗi, không có đâu.

Tất cả những gì có chỉ là một câu "Hunyuan AI4S đang tuyển dụng:)" kèm theo một tấm ảnh.

Chỉ vậy thôi sao? Tại sao lại tin rằng một tấm ảnh có thể "câu" được nhân tài AI4S?

Nhìn kỹ lại mới thấy, chà, đúng là có "hàng khủng" thật.

Hình ảnh được hiển thị chính là bảng thành tích nghiên cứu khoa học mà AI Hunyuan của Tencent vừa đạt được:

Một bài toán mở đã làm đau đầu các nhà toán học suốt khoảng 50 năm qua mà chưa có đột phá, nay đã được tác nhân thông minh tự phát triển Hyra đẩy lên một kết quả tốt nhất mới.

Vì vậy, ẩn ý của Yao Shunyu cũng rất rõ ràng:

AI của chúng tôi đã bắt đầu tự thực hiện nghiên cứu khoa học, và giờ đây, chúng tôi cần thêm nhiều người để mở rộng thành quả này.

Hyra đã giải quyết bài toán khó như thế nào

Hãy cùng điểm nhanh qua những gì Hyra đã làm lần này.

Theo giới thiệu mới nhất từ phía Hunyuan, dựa trên mô hình Hy3 vừa được mã nguồn mở trong tháng này (tổng tham số 295B, tham số kích hoạt 21B):

Hyra đã tìm ra một cấu trúc then chốt, đưa ra lời giải hoàn chỉnh cho một bài toán mở đã tồn tại hơn nửa thế kỷ trong lĩnh vực tổ hợp cộng (additive combinatorics).

Nếu diễn giải lại bài toán này một cách dễ hiểu hơn, thực chất vấn đề cần giải quyết là:

Cho bạn một tập hợp các số nguyên, chọn ngẫu nhiên hai số để cộng lại, bạn có thể nhận được bao nhiêu kết quả khác nhau? Nếu thay phép cộng bằng phép trừ, bạn sẽ nhận được bao nhiêu kết quả?

Ví dụ, với cùng một tập hợp số, một số con số khi cộng lại sẽ liên tục tạo ra kết quả mới, nhưng khi trừ đi thì thường xuyên nhận được kết quả trùng lặp.

Từ đó, các nhà toán học bắt đầu đặt câu hỏi:

Liệu có thể thiết kế một tập hợp số đặc biệt để số lượng kết quả khác nhau từ phép cộng lớn hơn nhiều so với phép trừ không? Và mức độ chênh lệch tối đa có thể đạt tới là bao nhiêu?

Các lý thuyết toán học trước đây đã vạch ra một giới hạn trên —

Tốc độ tăng trưởng của kết quả phép cộng tối đa chỉ tiệm cận với bình phương kết quả của phép trừ.

Nhưng vấn đề nằm ở chỗ, giới hạn trên này chỉ là một ước tính lỏng lẻo, hay thực sự có thể tiệm cận vô hạn?

Điều này giống như việc các kỹ sư tính toán rằng tốc độ của một đoàn tàu cao tốc sẽ không bao giờ vượt quá 350 km/h.

Nhưng "không thể vượt quá 350" không có nghĩa là nó thực sự có thể chạy gần mức 350, giới hạn thực tế của nó có khi chỉ đạt 200 km/h.

Vấn đề mà các nhà toán học tranh luận suốt hơn 50 năm qua chính là:

350 rốt cuộc là giới hạn thực sự có thể tiệm cận, hay chỉ là một con số giới hạn trên được vẽ ra quá cao?

Trong hơn nửa thế kỷ, các nhà toán học không ngừng thiết kế các tập hợp số mới, cố gắng tiệm cận giới hạn này.

Kết quả năm 1969 là khoảng 1,0290, năm 1973 tăng lên 1,0598, và năm 2013 tiếp tục đẩy lên 1,1259.

Trong gần một năm trở lại đây, nhiều phương pháp tìm kiếm hỗ trợ bởi AI đã nâng kỷ lục lên 1,1449, và Codex trong các thí nghiệm có sự hướng dẫn của con người đã tiến xa hơn tới mức 1,2851.

Và những gì Hyra đưa ra không chỉ là một kỷ lục mới cao hơn một chút.

Nó đã tìm ra một bộ cấu trúc số hoàn chỉnh có thể mở rộng liên tục, đồng thời chứng minh rằng khi quy mô tập hợp tăng lên, kết quả có thể tiệm cận vô hạn tới giới hạn lý thuyết là 2.

Nghĩa là, giới hạn tưởng chừng như xa vời đó, thực sự có thể tiệm cận vô hạn.