OpenAI vừa công bố một loạt kết quả toán học mới do mô hình AI tiên tiến nhất của hãng tạo ra. Đây là bước tiến đáng chú ý của AI trong lĩnh vực vốn được xem là khó nhất đối với máy móc: tự tìm ra những chứng minh mà trước đó chưa ai biết.

Cách công bố minh bạch

Toàn bộ kết quả được đăng trên GitHub, kèm quy trình chỉnh sửa và trích dẫn. OpenAI tham khảo ý kiến của nhóm cố vấn độc lập về toán học và AI thuộc Viện Nghiên cứu Cao cấp (Institute for Advanced Study) để xây dựng cách chia sẻ phù hợp với cộng đồng toán học.

Nhiều chứng minh còn được viết lại bằng Lean, ngôn ngữ lập trình cho phép máy tính tự kiểm tra từng bước suy luận. Nhờ vậy, độ tin cậy không phụ thuộc vào việc tin lời AI, mà có thể kiểm chứng bằng máy.

Tốn bao nhiêu sức mạnh tính toán?

OpenAI cũng chia sẻ tóm tắt quá trình suy luận của mô hình và số liệu về các bài toán đã thử. Trung bình, mỗi kết quả tốn lượng tài nguyên tính toán tương đương khoảng ba giờ "suy nghĩ" của ChatGPT Pro, một con số khá nhỏ so với công sức nhiều ngày hoặc nhiều tuần của một nhà toán học.

Ý nghĩa với đời sống

Toán học là nền tảng của mật mã, y học, vật lý và mọi ngành công nghệ. Nếu AI giúp các nhà khoa học đi nhanh hơn, những ứng dụng thực tế có thể đến sớm hơn. OpenAI cho biết sẽ tài trợ hội thảo, hội nghị và đang tìm cách phát hành mô hình này cho giới khoa học một cách có trách nhiệm.