Yao Shunyu Tuyển Dụng cho Tencent Hunyuan AI4S, Giải Bài Toán 50 Năm

Yao Shunyu, một nhà nghiên cứu AI nổi tiếng, đã đích thân bắt tay vào việc tuyển dụng cho nhóm Hunyuan AI for Science (AI4S) của Tencent. Thay vì đăng một bản mô tả công việc chi tiết, anh chỉ đăng một thông điệp ngắn gọn kèm theo một kết quả nghiên cứu: tác nhân (agent) tự phát triển của họ mang tên Hyra đã đưa một bài toán mở tồn tại 50 năm trong toán học tiến thêm một bước, đạt kết quả tốt nhất từ trước đến nay. Hyra được xây dựng trên mô hình Hy3 (295 tỷ tham số tổng cộng, 21 tỷ tham số hoạt động), đã tìm ra một cách xây dựng chứng minh rằng cận trên trong một bài toán về tổng và hiệu của các tập hợp số nguyên có thể được tiệm cận gần tùy ý. Tác nhân này trước tiên tìm kiếm các kết quả tốt hơn, sau đó chuyển sang sử dụng ngôn ngữ tự nhiên để đề xuất một cách xây dựng toán học và chứng minh, chạy trong khoảng 24 giờ. Nhóm nghiên cứu đã độc lập kiểm chứng và hình thức hóa chứng minh này bằng Lean 4. Trong các bài kiểm tra ban đầu của AI4S, Hyra-1.0 đã đạt được những kết quả ấn tượng trên nhiều lĩnh vực như toán học, thiên văn học, điện toán lượng tử và thiết kế dược phẩm, bao gồm việc giải được 29 trong số 55 bài toán mở, khám phá ra một công thức dự đoán từ dữ liệu vết đen mặt trời (R² = 0,77), cải thiện một thuật toán định tuyến lượng tử tới 44,4%, và tạo ra một phân tử ứng viên nhắm vào PARP1. Nhóm nghiên cứu đặt mục tiêu đạt được tự động hóa hoàn toàn trong nghiên cứu AI, trong đó AI tự đề xuất giả thuyết, tiến hành thí nghiệm và lặp lại quá trình. Để đạt được điều đó, họ đang tìm kiếm cả các nhà nghiên cứu AI (chuyên về kiến trúc tác nhân, học tăng cường (reinforcement learning - RL), học trong ngữ cảnh (context learning), đánh giá, hệ thống huấn luyện, và các nhân GPU) lẫn các nhà khoa học liên ngành có khả năng chuyển hóa các mục tiêu khoa học thành các tác vụ có thể thực thi được và đánh giá tính đúng đắn của các kết quả do AI tạo ra. Xu hướng này phản ánh một sự chuyển dịch rộng lớn hơn, trong đó AI đang dần trở thành một nhà nghiên cứu thực thụ, thể hiện qua một bình luận được nhiều người chú ý rằng đây có thể là Huy chương Fields cuối cùng được trao cho một công trình hoàn toàn do con người thực hiện. Đáng chú ý, OpenAI và Anthropic đã cùng nhau kêu gọi thiết lập các cơ chế quốc tế nhằm điều phối tốc độ phát triển của AI, cho thấy rõ thực tế song hành giữa khả năng tự cải thiện của AI và nhu cầu kiểm soát nó.