OpenAI công bố 372 kết quả toán học do mô hình AI nội bộ tạo ra ngày 6/10/2026, nhiều nhà toán học vẫn đòi kiểm chứng
Ngày 6/10/2026 (giờ Mỹ), OpenAI đưa lên GitHub 372 kết quả toán học do một mô hình nội bộ chưa phát hành tạo ra, nhiều chứng minh đã được kiểm bằng Lean. Trung bình mỗi kết quả tốn lượng tính toán tương đương khoảng 3 giờ suy luận của ChatGPT Pro, nhưng công ty không công bố prompt.
Công nghệ|
