DeepMind công bố AI vượt qua huy chương vàng Olympia Toán

DeepMind, một trong những phòng thí nghiệm nghiên cứu AI hàng đầu thuộc sở hữu của Google, đã gây sốc khi thông báo rằng hệ thống AI mới của họ, AlphaGeometry2, đã vượt qua nhiều huy chương vàng trong các kỳ thi Toán quốc tế trong việc giải quyết các bài toán hình học. AlphaGeometry2, phiên bản cải tiến của AlphaGeometry, chính thức được giới thiệu trong một nghiên cứu mới đây, đã khẳng định khả năng giải quyết 84% toàn bộ bài toán hình học trong vòng 25 năm qua từ cuộc thi Olympic Toán học Quốc tế (IMO). Điều này không chỉ chứng minh tiềm năng của AI trong lĩnh vực học thuật mà còn mở ra hướng đi mới cho nghiên cứu và phát triển AI thông minh hơn.

DeepMind đang muốn tìm hiểu thêm về khả năng giải quyết của AI đối với các bài toán hình học khó nhằn, đặc biệt là các vấn đề liên quan đến hình học Euclid. Để giải thích tại sao điều này quan trọng, phòng thí nghiệm cho rằng, khả năng chứng minh các định lý toán học và giải thích một cách hợp lý lý do mà định lý đó là đúng là một trong những yếu tố cốt lõi trong phát triển AI mạnh mẽ.

Trong một cuộc trình diễn vào mùa hè vừa qua, DeepMind đã cho thấy rằng AI kết hợp AlphaGeometry2 với AlphaProof, một mô hình AI dùng để lý luận hình thức trong toán học, đã thành công trong việc giải quyết bốn trong sáu bài toán của IMO 2024. Bên cạnh các bài toán hình học, những phương pháp này hứa hẹn có thể được áp dụng vào nhiều lĩnh vực khác của toán học và khoa học, chẳng hạn như hỗ trợ tính toán kỹ thuật phức tạp.

AlphaGeometry2 sở hữu một số thành phần cốt lõi, bao gồm mô hình ngôn ngữ từ dòng Gemini của Google và một “động cơ ký hiệu”. Mô hình Gemini hỗ trợ động cơ ký hiệu trong việc suy luận và xác lập các chứng minh cho những định lý hình học. Không chỉ là một công nghệ thông minh, AlphaGeometry2 sử dụng kỹ thuật học sâu để quan sát và phát triển khả năng giải quyết vấn đề, cho phép nó tìm kiếm và lưu trữ những gợi ý hữu ích cho quá trình vấn đáp.

Hệ thống đánh giá một bài toán là “được giải quyết” khi nó kết hợp các gợi ý từ mô hình Gemini với những nguyên lý đã biết của động cơ ký hiệu. Tuy nhiên, do sự phức tạp trong việc dịch các chứng minh sang định dạng mà AI có thể hiểu, DeepMind đã tạo ra dữ liệu tổng hợp để huấn luyện mô hình ngôn ngữ của AlphaGeometry2, sản xuất hơn 300 triệu định lý và chứng minh với nhiều mức độ phức tạp khác nhau.

Theo nghiên cứu, AlphaGeometry2 đã giải quyết thành công 42 trên 50 bài toán được lựa chọn từ các kỳ thi IMO trong vòng 25 năm qua, vượt qua điểm số trung bình của người sở hữu huy chương vàng. Tuy nhiên, vẫn còn những hạn chế như không thể giải bài toán có số lượng điểm thay đổi và các phương trình phi tuyến tính. Đặc biệt, AlphaGeometry2 cũng không phải là hệ thống AI đầu tiên đạt tới hiệu suất huy chương vàng trong hình học, mặc dù đây là lần đầu tiên điều này đạt được với một tập hợp vấn đề có quy mô lớn như vậy.

Dù AlphaGeometry2 đã thể hiện được những kết quả ấn tượng, nhưng những bài toán khó khác vẫn còn là thử thách. Các nhà nghiên cứu đã lựa chọn 29 bài toán do chuyên gia toán học đề cử cho các kỳ thi nhưng chưa từng xuất hiện trong cuộc thi nào. AI chỉ có thể giải quyết 20 trong số đó. Điều này cho thấy rằng, mặc dù các công nghệ AI đang phát triển nhanh chóng, nhưng cần phải có một chiến lược tổng hợp giữa kỹ thuật xử lý ký hiệu và mạng nơ-ron để đạt được AI có thể tổng quát và hiệu quả hơn trong các nhiệm vụ đa dạng.

Đồ Gia Dụng Mekoong nơi tập hợp các sản phẩm hàng gia dụng chính hãng trên cả nước. Với nhiều sản phẩm đồ gia dụng chất lượng được khách hàng trong và ngoài nước lựa chọn là điểm đến mua sắm. Với nhiều thương hiệu gia dụng nổi tiếng như Nhựa Duy Tân, Lock anh Lock, Elmich, Alsaka,…Mekoong cung cấp đầy đủ các sản phẩm như đồ điện gia dụng gồm các thiết bị gia dụng và đồ điện tử gia dụng, điện máy gia dụng. Ngòa ra bạn có thể mua siêu thị đồ gia dụng nhà bếp giá rẻ có nhiều mặt hàng giảm giá, ưu đãi cho người tiều dùng và doanh nghiệp.