Một nhóm nghiên cứu tại Beijing Institute for General Artificial Intelligence (Viện Trí tuệ nhân tạo tổng quát Bắc Kinh) vừa phát triển thành công TongGeometry, hệ thống trí tuệ nhân tạo đầu tiên trên thế giới có khả năng vừa tự động ra đề vừa tự động giải các bài toán hình học. Công trình do nhà khoa học Zhang Chi (Trương Trì) dẫn đầu, được xem là bước tiến quan trọng trong lĩnh vực suy luận toán học bằng AI.
AI có thể tự tạo và giải bài toán hình học
Theo nhóm nghiên cứu, TongGeometry có khả năng tự động phát hiện và trích xuất các bài toán hình học chất lượng cao từ một không gian tổ hợp khổng lồ, đồng thời đảm bảo các bài toán đáp ứng tiêu chuẩn thẩm mỹ toán học mà các nhà toán học con người đánh giá cao.
Điểm đặc biệt của hệ thống này là nó đánh dấu bước chuyển đổi mô hình đầu tiên trên thế giới từ “AI mô phỏng giải đề” sang “AI tự động tạo đề toán”. Điều đó đồng nghĩa với việc AI không chỉ giải các bài toán có sẵn mà còn có thể sáng tạo ra các bài toán mới mang tính học thuật cao.
Vượt trội so với hệ thống AI hình học trước đây
Theo DeepMind, trước đó hệ thống AlphaGeometry được phát triển vào năm 2024 đã đạt trình độ Olympic toán học trong lĩnh vực hình học.
Tuy nhiên, TongGeometry được đánh giá có mức độ thông minh cao hơn, khi có thể giải toàn bộ các bài toán hình học trong 25 năm qua chỉ trong tối đa 38 phút, với độ chính xác và hiệu quả suy luận đạt mức hàng đầu thế giới.
Không chỉ là một hệ thống giải toán mạnh mẽ, TongGeometry còn được các nhà nghiên cứu mô tả như một “bậc thầy ra đề toán”, có khả năng tạo ra những bài toán thanh lịch, độc đáo và giàu giá trị học thuật.
Bài toán do AI tạo đã xuất hiện trong các cuộc thi toán
Một cột mốc đáng chú ý là ba bài toán hình học do TongGeometry tự động tạo ra đã được đưa vào các cuộc thi toán học dành cho học sinh.
Cụ thể, các bài toán này đã xuất hiện trong kỳ thi toán trung học cấp quốc gia năm 2024 tại Bắc Kinh và trong Ersatz Math Olympiad tại Mỹ. Đây được xem là lần đầu tiên các bài toán do AI tạo ra được sử dụng trong các cuộc thi toán học cấp cao dành cho con người.
Bước đột phá của Trung Quốc trong AI suy luận logic
Thành tựu của TongGeometry cũng được xem là bước tiến lớn của Trung Quốc trong việc phát triển các công nghệ cốt lõi về suy luận logic và suy luận tự động.
Theo các nhà nghiên cứu, hệ thống này có hiệu suất và tính đa dạng chức năng vượt trội so với nhiều công nghệ AI hàng đầu hiện nay, vốn do các phòng thí nghiệm quốc tế như DeepMind dẫn đầu.
Kết quả nghiên cứu đã được công bố trên tạp chí khoa học Nature Machine Intelligence vào ngày 26/1, thu hút sự quan tâm lớn của cộng đồng khoa học toàn cầu.
AI có thể thay đổi cách con người học và nghiên cứu toán
Việc AI có thể tự tạo ra các bài toán mới mở ra nhiều triển vọng cho giáo dục và nghiên cứu toán học trong tương lai. Các hệ thống như TongGeometry có thể hỗ trợ giáo viên, nhà nghiên cứu và học sinh tạo ra kho bài tập phong phú, đa dạng và có độ khó phù hợp.
Đồng thời, sự phát triển của AI trong lĩnh vực suy luận toán học cũng cho thấy trí tuệ nhân tạo đang tiến gần hơn tới khả năng tư duy logic giống con người, một bước tiến quan trọng trong hành trình phát triển AI tổng quát (AGI).