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