لقد نشرنا للتو ورقة بحثية تحل Erdos #846، والتي تم حلها بواسطة نموذج داخلي في OpenAI (). بينما يمكن أيضا اشتقاق المشكلة من ورقة سابقة في الأدبيات، كان الإثبات بالنموذج الداخلي من أولى المرات التي ابتسمت فيها أثناء قراءة البرهان.