Chia sẻ tiến bộ AI trong toán học

OpenAI công bố kết quả mới từ mô hình tiên tiến nội bộ về các bài toán toán học chưa có lời giải và chia sẻ hình thức hóa chứng minh Lean cùng chi tiết nghiên cứu trên GitHub.

Ngôn ngữ nguồn gốc · Tiếng Anh

Đã kiểm tra · 10 tháng 10, 2026