اوپنایآی بهگفته گزارشها به حل یکی دیگر از هفت «مسئله جایزه هزاره» ریاضیات نزدیک شده است. بعد از حل هنوز رسماً تأییدنشده مسئله ناویر-استوکس، این شرکت اکنون روی حدس هاج (Hodge conjecture) کار میکند؛ حدسی که میپرسد آیا ویژگیهای هندسی معینی از شکلها همواره میتوانند با بلوکهای سازنده جبری سادهتری توصیف شوند یا نه.
به گفته فردی آگاه از موضوع، کارکنان انتظار دارند راهحل بهزودی اعلام شود. با این حال هر اعلامی ممکن است به تعویق بیفتد؛ زیرا پس از بحران روابط عمومی حول مسئله ناویر-استوکس، اوپنایآی این بار میخواهد پیامرسانی را درست انجام دهد.
برای حل ناویر-استوکس، اوپنایآی از گونهای از مدل پیشآموزشدیده بعدی خود با نام رمزی «Doug» استفاده کرد که احتمالاً هزینهای چند میلیون دلاری داشته است. یاکوب پاچوکی، پژوهشگر ارشد شرکت، در رونمایی Astra گفته بود اوپنایآی ابتدا روی «خودبهسازی بازگشتی» — یعنی هوش مصنوعیای که خودش را بهینه میکند — تمرکز خواهد کرد، نه روی ریاضیات.
اینکه شرکت از حل این مسائل دنبال چه چیزی است روشن نیست. ظاهراً برخی درون اوپنایآی باور دارند این کار میتواند به خودبهسازی بازگشتی خوراک بدهد. در همین حال، جامعه ریاضیات بیشتر خشمگین است تا تحت تأثیر؛ بخشی از ریاضیدانان کل رشته خود را در معرض تهدید میبینند.
این ماجرا دو لایه مهم دارد. لایه اول فنی است: هر بار که یک مدل زبانی به نتیجهای در مرزهای دانش ریاضی میرسد، پرسش «آیا این واقعاً کشف است یا بازآرایی الگوهای موجود در داده آموزشی؟» جدیتر میشود — و همین است که اعتبارسنجی مستقل را ضروری میکند. لایه دوم سیاسی و اجتماعی است: تلاش اوپنایآی برای حل مسائل جایزه هزاره همزمان در حال تغییر تصویر عمومی این شرکت است؛ شرکتی که پیشتر با بحثهای ایمنی و هکهای عاملهای سرکش خبرساز بود، حالا خود را در قالب نهادی معرفی میکند که مرزهای دانش بشری را جابهجا میکند. تا زمانی که تأیید رسمی ریاضیدانان منتشر نشود، این اعلامیهها در قلمرو «گزارش» باقی میمانند، نه «دستاورد تأییدشده».