OpenAI مدعی شده حدود ۱۰ هزار عامل هوش مصنوعی پس از ۸۸ ساعت کار، به اثباتی برای مسئله ناویر-استوکس دست یافته‌اند؛ اما این ادعا هنوز تأیید رسمی نشده است.
هوش مصنوعی OpenAI با حل مسئله فاصله واحد و رد حدس ۸۰ ساله اردوش، یکی از مهم‌ترین دستاوردهای تاریخ ریاضیات مبتنی بر هوش مصنوعی را رقم زد.
ریاضیات معمولاً جهانی، قطعی و عاری از حاشیه به نظر می‌رسد. اعداد طرفی نمی‌گیرند، نظریه‌ها کینه به دل نمی‌گیرند و اثبات‌ها به کشورها تعلق ندارند. دست‌کم، تصور عمومی همین است.