# 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

- Nguồn: X: Noam Brown (@polynoamial)
- Thời gian phát hành: 2026-09-04 01:42 (giờ Việt Nam)
- Điểm AI: 66/100
- Link AIHOT.vn: https://aihot.vn/items/600c7c2a8690efc3
- Nguồn dữ liệu AI HOT: https://aihot.news/items/cmtlw5jja0pdrrow5m965czk1
- Link gốc: https://x.com/polynoamial/status/2095583211950833768

## 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.

## Thân bài

_Chưa có thân bài hiển thị được._ Đọc bài gốc: <https://x.com/polynoamial/status/2095583211950833768>