Chúng tôi vừa đăng một bài báo giải quyết bài toán Erdos #846, được giải quyết bởi một mô hình nội bộ tại OpenAI (). Mặc dù bài toán cũng có thể được suy ra từ một bài báo trước đó trong tài liệu, nhưng chứng minh bởi mô hình nội bộ là một trong những lần đầu tiên tôi mỉm cười khi đọc chứng minh.