Mô hình Gemini tiên tiến của Google được hỗ trợ bởi Deep Think đã đạt giải Vàng tại kỳ thi Olympic Toán quốc tế với khả năng giải quyết vấn đề ở cấp

Bộ phận trí tuệ nhân tạo của Google, Google DeepMind công bố phiên bản nâng cao của mô hình Gemini Deep Think đã giải thành công năm trong số sáu bài toán tại Kỳ thi Olympic Toán học Quốc tế (IMO), đạt 35 điểm - tương đương với thành tích đạt huy chương vàng. Đây là một trong những trường hợp đầu tiên các điều phối viên IMO chính thức đánh giá và chứng nhận kết quả của một mô hình bằng cách sử dụng cùng tiêu chuẩn áp dụng cho người tham gia.

Hệ thống Gemini Deep Think được sử dụng cho cuộc trình diễn này featured Khả năng lập luận nâng cao được thiết kế riêng cho các bài toán phức tạp. Nó kết hợp những phát triển nghiên cứu gần đây, bao gồm một phương pháp được gọi là tư duy song song, cho phép mô hình khám phá và tích hợp nhiều hướng giải quyết cùng lúc trước khi đi đến câu trả lời cuối cùng, thay vì chỉ tuân theo một quy trình tuyến tính duy nhất.

Để cải thiện hiệu suất, mô hình đã được huấn luyện bằng các kỹ thuật học tăng cường được thiết kế để nâng cao khả năng lập luận nhiều bước, chứng minh định lý và giải quyết vấn đề tổng quát. Hệ thống cũng được tiếp cận một bộ giải pháp toán học chất lượng cao được tuyển chọn kỹ lưỡng, cùng với hướng dẫn giảng dạy về cách tiếp cận các câu hỏi theo phong cách IMO.

Phiên bản giới hạn của mô hình Deep Think này sẽ được chia sẻ với một số người thử nghiệm được chọn, bao gồm các nhà toán học, trước khi phát hành rộng rãi hơn cho những người đăng ký Google AI Ultra.

Sự phát triển này đánh dấu một bước tiến đáng kể so với những thành tựu của năm ngoái. Năm 2024, các mô hình như AlphaGeometry và AlphaProof đòi hỏi sự can thiệp của con người để dịch các bài toán sang ngôn ngữ chuyên ngành (như Lean) và ngược lại. Hơn nữa, việc giải quyết các bài toán này mất vài ngày tính toán. Ngược lại, phiên bản cập nhật Mô hình Song Tử đưa ra các giải pháp toán học nghiêm ngặt trực tiếp từ các phát biểu chính thức của bài toán IMO, hoàn toàn bằng ngôn ngữ tự nhiên và trong khung thời gian thi đấu tiêu chuẩn là 4.5 giờ.

IMO trở thành chuẩn mực quan trọng cho AI trong lý luận toán học nâng cao

IMO là một cuộc thi toán học toàn cầu lâu đời, quy tụ những học sinh dự bị đại học có thành tích cao nhất để giải quyết sáu bài toán nâng cao thuộc các chủ đề như đại số, tổ hợp, hình học và lý thuyết số. Được thành lập năm 1959, IMO được coi là một trong những cuộc thi toán học khó nhất trên toàn thế giới. Mỗi quốc gia tham dự sẽ cử một đội gồm sáu học sinh, và huy chương được trao cho 50% thí sinh có thành tích cao nhất, với khoảng 8% giành được huy chương vàng.

Trong những năm gần đây, cuộc thi cũng nổi lên như một chuẩn mực để đánh giá năng lực của trí tuệ nhân tạo trong việc giải quyết các vấn đề phức tạp và lập luận toán học. Năm 2024, một hệ thống kết hợp từ Google DeepMind—AlphaProof và AlphaGeometry 2—đã đạt giải Bạc khi giải được bốn trong số sáu bài toán và đạt 28 điểm. Kết quả này, dựa trên các ngôn ngữ toán học hình thức, đánh dấu một bước tiến đáng chú ý trong việc chứng minh tiềm năng của AI trong việc sánh ngang với các kỹ năng toán học tiên tiến của con người.