OpenAI thành lập Hội đồng Cố vấn Toán học khi mô hình mới giải hơn 100 bài toán mở
OpenAI đã công bố thành lập Hội đồng Cố vấn về Toán học và AI độc lập gồm 9 thành viên tại Viện Nghiên cứu Cao cấp, đồng thời tiết lộ một mô hình nội bộ mới đã giải quyết hơn 100 bài toán mở trong 24 ngày. Các lời giải được tuyên bố bao gồm tiến triển ở những bài toán lớn như bài toán Thiên niên kỷ Navier-Stokes. Phát triển này cho thấy năng lực tăng tốc mạnh mẽ của AI trong các khám phá khoa học cơ bản và suy luận tự động. Bằng cách hợp tác với các nhà toán học hàng đầu, OpenAI hướng tới việc thiết lập các tiêu chuẩn viện thuật nghiêm ngặt và cơ chế có trách nhiệm để đánh giá cũng như công bố các đột phá khoa học do AI tạo ra. Hội đồng độc lập bao gồm các nhà toán học đoạt giải Fields như Timothy Gowers, Martin Hairer và Edward Witten, những người sẽ tư vấn về phản biện, phổ biến và tiêu chuẩn mà không nhận thù lao từ OpenAI. Tuy nhiên, hội đồng sẽ không đưa ra lời khuyên về tốc độ nghiên cứu nội bộ của OpenAI, nhằm giải quyết các lo ngại gần đây của các nhà toán học như Terence Tao về việc dùng bài toán mở làm benchmark cho AI.
## KIẾN THỨC NỀN
Chứng minh định lý tự động sử dụng các thuật toán máy tính để khám phá hoặc xác minh các chứng minh toán học, một ranh giới cốt lõi trong suy luận AI. Bài toán sự tồn tại và tính mịn của phương trình Navier-Stokes là một trong bảy Bài toán Giải thưởng Thiên niên kỷ do Viện Toán học Clay đưa ra với phần thưởng 1 triệu USD. Mới đây, các nhà toán học hàng đầu đã bày tỏ lo ngại rằng việc vội vàng dùng hệ thống AI giải các bài toán mở nổi tiếng có thể làm ảnh hưởng đến sự nghiêm ngặt và quy trình phản biện học thuật.