TS. Trịnh Hoàng Triều đã giới thiệu AlphaGeometry, một hệ thống chứng minh định lý mới dành cho hình học phẳng Euclid, đánh dấu một bước tiến nổi bật trong lĩnh vực suy luận tự động ở mức độ con người. Đây là một giải pháp đột phá cho bài toán hình học, vốn nổi tiếng là nhiều thử thách và thường thiếu dữ liệu đào tạo do khó khăn trong việc chuyển đổi chứng minh của con người sang dạng máy có thể xác minh.
AlphaGeometry vượt qua những hạn chế của các phương pháp học máy hiện hành bằng cách tự tạo ra hàng triệu định lý và chứng minh với độ phức tạp khác nhau. Sử dụng một mô hình ngôn ngữ thần kinh, được huấn luyện từ đầu trên dữ liệu tổng hợp quy mô lớn, hệ thống này hướng dẫn một động cơ suy luận ký hiệu qua các điểm phân nhánh vô hạn của các vấn đề hình học phức tạp. Điểm nổi bật, AlphaGeometry không chỉ giải quyết thành công 25 trong số 30 bài toán cấp độ Olympic mới nhất mà còn sản xuất ra các chứng minh có thể đọc được bởi con người, một thành tựu không thể nhỏ trong lĩnh vực này.
Với khả năng giải quyết toàn bộ các bài toán hình học trong các kỳ IMO năm 2000 và 2015 và thậm chí còn phát hiện ra phiên bản tổng quát của một định lý đã được dịch trong IMO 2004, AlphaGeometry đã tiệm cận và thậm chí vượt trội so với một số huy chương vàng IMO, đặt ra một chuẩn mực mới cho việc giải toán tự động.
Trong đợt Trường Hè 2024 năm nay, Khoa Công nghệ Thông tin rất vinh dự được đón tiếp TS. Trịnh Hoàng Triều đến tham dự và chia sẻ về chủ đề “AlphaGeometry: Solving IMO Geometry without Human Demonstrations”. Anh là nhà khoa học nghiên cứu cao cấp tại Google Deepmind, dành sự nghiệp của mình để phát triển các hệ thống AI có khả năng suy luận, với hy vọng máy móc một ngày nào đó có thể hỗ trợ con người trong việc thúc đẩy tiến bộ khoa học và công nghệ. Bài thuyết trình của diễn giả Trịnh Hoàng Triều không chỉ làm sáng tỏ các khả năng của AI trong toán học mà còn khơi gợi sự quan tâm sâu sắc đối với tương lai của công nghệ này trong giáo dục và nghiên cứu khoa học.
Thời gian và địa điểm tổ chức:
⌛️ 08:00 - 10:00, Thứ Ba - ngày 23/07/2024
Giảng đường I, Trường Đại học Khoa học tự nhiên, ĐHQG-HCM (227 Nguyễn Văn Cừ, P.4, Q.5)
Nếu có các thắc mắc liên quan, các bạn vui lòng liên hệ với Cô Nguyễn Trần Thục Uyên (nttuyen@fit.hcmus.edu.vn) để được hỗ trợ.