Một mô hình GPT Pro mới dường như đang được thử nghiệm trên web, không chắc về ứng dụng. Nó trông như một bước nhảy VƯỢT BẬC trong khả năng lập trình; có thể xuất ra hơn 6000 dòng trong một lần nhắc. Nhiều ví dụ hơn trong các bình luận. Bạn có thể biết mình đã có nó nếu có nút thumbs up/down bên cạnh tóm tắt CoT.

Bài toán Erdős #635 được giải quyết tự động bởi GPT-5.2 Pro. Mô hình đã suy nghĩ trong 50 phút, xuất ra một chứng minh đúng bằng Latex, sau đó được chính thức hóa trong Lean bởi @HarmonicMath's Aristotle. Cảm ơn lớn đến @AcerFur vì đã chỉnh sửa Lean. Việc xem xét tài liệu vẫn đang tiếp tục.

*Nano Banana 2* Thư viện đầu ra KHỔNG LỒ! Hôm qua tôi đã có quyền truy cập vào nano banana 2 và đã tạo ra hàng tấn hình ảnh suốt cả ngày. Tôi không bao gồm các gợi ý vì điều đó sẽ mất của tôi hàng năm, đây là các hình ảnh: