OpenAI công bố loạt kết quả toán học mới từ mô hình AI tiên tiến

Một mô hình biên giới nội bộ (internal frontier model) của OpenAI vừa tạo ra hàng loạt kết quả toán học mới, đánh dấu bước tiến quan trọng trong việc ứng dụng trí tuệ nhân tạo (AI) vào việc giải quyết các bài toán phức tạp.

Thiết lập quy chuẩn công bố cùng Viện Nghiên cứu Cao cấp

Để tối ưu hóa phương thức chia sẻ các phát kiến này với cộng đồng học thuật, OpenAI đã tham vấn ý kiến từ Nhóm Cố vấn Độc lập về Toán học và Trí tuệ Nhân tạo tại Viện Nghiên cứu Cao cấp (Institute for Advanced Study – IAS). Công ty dựa trên các khuyến nghị công khai của hội đồng này để xây dựng chuẩn mực minh bạch cho đợt công bố.

Toàn bộ tài liệu nghiên cứu hiện được lưu trữ công khai trên kho lưu trữ mã nguồn GitHub, đi kèm quy trình sửa đổi bài báo và trích dẫn chuẩn hóa. OpenAI đồng thời tìm kiếm các nền tảng lưu trữ do cộng đồng quản lý nhằm tuân thủ tốt hơn các hướng dẫn chuyên môn.

Tư liệu: OpenAI công bố loạt kết quả toán học mới từ mô hình AI tiên tiến — Hình ảnh tư liệu từ OpenAI

Kiểm chứng chứng minh bằng ngôn ngữ Lean

Điểm đáng chú ý trong đợt phát hành lần này là việc chính thức hóa nhiều chứng minh toán học thông qua Lean – ngôn ngữ lập trình chuyên dụng cho phép máy tính thẩm định tính chính xác của các lập luận toán học. OpenAI dự kiến sẽ liên tục cập nhật thêm các chứng minh đã được hình thức hóa khi hoàn tất kiểm tra.

Nhằm duy trì tính minh bạch khoa học, tổ chức này đã công bố 10 bản tóm tắt chi tiết về chuỗi lập luận tư duy của mô hình, mức tiêu thụ tài nguyên tính toán và thống kê các bài toán đã thử nghiệm. Theo ghi nhận, mỗi kết quả trung bình tiêu tốn mức điện toán tương đương khoảng ba giờ xử lý tư duy trên gói dịch vụ ChatGPT Pro.

Kế hoạch tài trợ và trách nhiệm công bố

OpenAI cam kết hỗ trợ tài chính cho một chuỗi hội thảo, hội nghị khoa học và các chương trình học thuật đặc biệt xoay quanh việc thấu hiểu và mở rộng các kết quả do hệ thống AI tạo ra.

Tổ chức đang chuẩn bị kế hoạch phát hành có trách nhiệm phiên bản mô hình này ra công chúng, đồng thời tiếp tục đánh giá hiệu năng trên các lĩnh vực toán học và khoa học tự nhiên nhằm cung cấp công cụ đắc lực hỗ trợ trực tiếp cho giới khoa học toàn cầu.

Nguồn: OpenAI