Google DeepMind hôm nay công bố AlphaProof Nexus, một hệ thống agentic mới được thiết kế chuyên biệt cho việc tìm kiếm lời giải toán học chính quy (formal proof search) dựa trên nền tảng mô hình ngôn ngữ lớn Gemini.
Diễn biến
AlphaProof Nexus không chỉ là một mô hình ngôn ngữ thông thường mà là một framework agent có khả năng suy luận logic chặt chẽ. Khi được áp dụng vào các bài toán toán học chính quy mở, agent này đã tự động giải quyết thành công 9 bài toán Erdős — một tập hợp các bài toán tổ hợp nổi tiếng khó trong cộng đồng toán học thế giới.
Vì sao đáng chú ý
Thành công của AlphaProof Nexus đánh dấu bước tiến quan trọng trong việc ứng dụng AI vào nghiên cứu khoa học thuần túy. Khác với các mô hình chatbot thường mắc lỗi tính toán, framework này hướng tới độ chính xác tuyệt đối thông qua chứng minh chính quy. Điều này mở ra tiềm năng cho việc tự động hóa kiểm định phần mềm, mật mã học và giải quyết các thách thức toán học mà con người chưa thể vượt qua.
Tuy nhiên, cần lưu ý đây là kết quả từ môi trường nghiên cứu của Google DeepMind và việc thương mại hóa hoặc ứng dụng rộng rãi vẫn cần thời gian để đánh giá tính thực tiễn trên các nền tại hạ tầng khác.