Các bài toán Erdos là một ví dụ rõ ràng về việc các mô hình vượt qua một ngưỡng. Ý tưởng rằng một AI có thể tự mình giải quyết một bài toán, chưa nói đến nhiều bài toán, sẽ là điên rồ một năm trước (o1 còn mới tinh), và bây giờ chúng ta đã có nhiều bài toán Erdos được giải quyết bởi GPT-5.2 Pro trong vài tuần qua.

Để làm rõ: GPT-5.2 Pro không tự động giải quyết những điều này, nó được thúc đẩy bởi một người, và thường xuyên lặp lại bằng cách sử dụng Lean.