92
Nghiên cứu
GPT-6 Astra hoàn thành chứng minh hình thức bằng Lean cho định lý khoảng cách số nguyên tố 186
(giờ Việt Nam)
Tóm tắt AI
OpenAI công bố kho lưu trữ PrimeGaps186, trong đó GPT-6 Astra đã sử dụng ngôn ngữ Lean để chứng minh sự tồn tại vô hạn các cặp số nguyên tố có khoảng cách không quá 186, đánh dấu bước tiến mới trong ứng dụng AI vào toán học chuyên sâu.
Bài viết được AI dịch và tổng hợp tự động từ X: Noam Brown (@polynoamial). Liên kết bài gốc ở phía trên. Dữ liệu đồng bộ qua API công khai được ghi nguồn tại AI HOT (canonical) ↗. AIHOT.vn luôn dẫn nguồn đầy đủ — nếu bạn thấy điểm cần chỉnh sửa, hãy gửi ý kiến tại trang phản hồi.