Sau khi đánh bại con người ở môn cờ vây, Google DeepMind đã tuyên bố họ sắp "vượt mặt" những học sinh giỏi Toán nhất thế giới.
Theo đó, mới đây, họ công bố các hệ thống trí tuệ nhân tạo (AI) đã giải được 4 trong số 6 bài toán trong kỳ thi Olympic Toán học Quốc tế (IMO) năm 2024. AI đã đưa ra các bước giải vô cùng hợp lý và được chấm điểm bởi GS Timothy Gowers của Đại học Cambridge (Anh) - người từng giành huy chương vàng IMO và huy chương Fields (năm 1998); TS Joseph Myers, chủ tịch hội đồng ra đề IMO năm nay. Hai nhà Toán học đã chấm 28/42 điểm, chỉ kém một điểm so với phạm vi huy chương vàng.
AI đã được thử thách giải các câu hỏi về đại số, tổ hợp, lý thuyết số và một bài hình học. Tuy nhiên, AI đã giải xong 4 bài, riêng phần tổ hợp không giải được. Trong đó, bài hình học được đánh giá khó hơn nhưng AI chỉ mất 19 giây để giải xong bài toán. “Rõ ràng đây là một bước tiến rất đáng kể”, Joseph Myers nói.
AlphaProof là dự án nghiên cứu thuộc Google Deepmind, bộ phận nghiên cứu trí tuệ nhân tạo (AI) của Google. Nó là sự kết hợp giữa mô hình ngôn ngữ với kỹ thuật, sử dụng công cụ AlphaZero - trước đây đã được sử dụng để làm kiểm soát các trò chơi cờ vua, cờ tướng và cờ vây.
Các phương pháp tiếp cận dựa trên ngôn ngữ tự nhiên có thể khiến các bước suy luận và giải pháp không chính xác mặc dù có quyền truy cập nhiều dữ liệu hơn. Vì thế, các nhà khoa học đã thiết lập cầu nối bằng cách tinh chỉnh mô hình Gemini - mô hình ngôn ngữ lớn tự nhiên, được dùng làm kho dữ liệu đầu vào về các bài toán, cách chứng minh đã công bố và những kiến thức liên quan.
Khi gặp vấn đề, AlphaProof tạo ra các ứng viên giải pháp và sau đó chứng minh hoặc bác bỏ chúng bằng cách tìm kiếm qua các bước chứng minh có thể có trong Lean. Mỗi bằng chứng được tìm thấy và xác minh được sử dụng để củng cố mô hình ngôn ngữ của AlphaProof, nâng cao khả năng giải quyết các vấn đề tiếp theo, khó khăn hơn.
Nguồn: Google Deepmind