Компаниите в областта на изкуствения интелект активно се състезават в решаването на сложни математически задачи. Според информация на The Information, служители на OpenAI предвиждат сравнително скорошно разрешаване на хипотезата на Ходж. Тази хипотеза е една от известните задачи на хилядолетието.

Към момента липсва публично доказателство, а самата OpenAI не е потвърдила официално, че хипотезата на Ходж е следващият им фокус. Институтът по математика „Клей“ все още я счита за нерешена задача. Тя е част от седемте задачи на хилядолетието, обявени през 2000 година, като за всяко признато решение е предвидена награда от 1 милион долара.

Новият интерес към OpenAI идва малко след като на 8 септември компанията представи доказателство за задачата на Навие-Стокс. Това доказателство е генерирано от вътрешния модел Astra, който е по-мощен от GPT-6. Работата по резултата е отнела около 88 часа, включвайки приблизително 10 000 AI агенти и 130 милиарда изходни токена.

Случаят с Навие-Стокс предизвика дебати относно научния приоритет и обстоятелствата около появата на резултата. Професор Тристан Бакмастер от Нюйоркския университет и Левент Алпеге от Anthropic, които са работили по сходни задачи, оспориха твърденията на OpenAI. На този фон, според The Information, OpenAI обсъжда как да си сътрудничи с математическата общност при евентуално обявяване на бъдещи резултати, за да избегне подобни конфликти.

Напрежението се засили, след като 25 лауреати на наградата „Филдс“ предупредиха за потенциален конфликт между корпоративната надпревара за открития и нормите на математическата наука. Критиката е насочена към скоростта на публикуване, липсата на независима проверка и въпросите за авторството. За OpenAI задачите на хилядолетието служат както за научна цел, така и за изпитание на възможностите на техните затворени AI модели.

Основният резултат от тези събития е рязко нарасналият мащаб на амбициите в областта на изкуствения интелект. Доскоро AI демонстрираше успехи при отделни отворени задачи, но сега OpenAI тества модели върху проблеми, които десетилетия наред са били предизвикателство за математиците. Окончателният статут на всяко доказателство ще бъде определен от независима проверка, а не от скоростта на неговото получаване.

По информация на Kaldata.