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.

Gần đây, tôi đã nghỉ phép từ Columbia để gia nhập OpenAI, làm việc cho OpenAI for Science. Trong vài tháng qua, AI - bao gồm cả GPT 5.2 - đã trở thành một phần ngày càng quan trọng trong quy trình làm việc của tôi với tư cách là một nhà toán học. Tôi rất hào hứng được đóng góp vào những nỗ lực thúc đẩy tiến bộ trong toán học và nghiên cứu khoa học.