OpenAI компаниясы өзінің жаңа пайымдау моделі геометрия саласындағы әйгілі шешілмеген гипотезаны жоққа шығаратын түпнұсқа математикалық дәлелдемені ұсынғанын мәлімдеді. Бұл мәселе алғаш рет 1946 жылы Пол Эрдёш тарапынан ұсынылған болатын. Бұл OpenAI үшін мұндай түрдегі алғашқы мәлімдеме емес, бірақ бұл жолы нәтижелер әлдеқайда байыпты көрінеді. Бұл туралы Techcrunch.com хабарлайды.
Осыдан жеті ай бұрын компанияның бұрынғы вице-президенті Кевин Вейл GPT-5 моделі Эрдёштың 10 шешілмеген мәселесіне жауап тапқанын айтқан еді. Алайда кейіннен модельдің тек әдебиеттерде бар шешімдерді тапқаны белгілі болды. Бұл қателік Ян Лекун және Google DeepMind басшысы Демис Хассабис сияқты бәсекелестердің сынына ұшыраған болатын. Бұл жолы OpenAI қатені қайталамау үшін Нога Алон және Томас Блум сияқты танымал математиктермен бірлесіп дәлелдемені растады.
«Дәл 80 жыл бойы математиктер ең жақсы шешімдер шаршы торларға ұқсас болады деп сенген. OpenAI моделі бұл сенімді жоққа шығарды және әлдеқайда тиімді жұмыс істейтін мүлдем жаңа конструкциялар әулетін ашты», — делінген компания мәлімдемесінде. Бұл жасанды интеллекттің математика саласындағы орталық мәселені дербес шешкен алғашқы жағдайы ретінде бағалануда.
OpenAI атап өткендей, бұл дәлелдеме математика үшін арнайы жасалған жүйе емес, жалпы мақсаттағы жаңа пайымдау моделі арқылы жүзеге асырылды. Бұл жасанды интеллект жүйелерінің ұзақ және күрделі логикалық тізбектерді байланыстыру қабілетінің артқанын білдіреді. Мұндай жетістік болашақта биология, физика, инженерия және медицина салаларында да жаңа жаңалықтар ашуға мүмкіндік береді деп күтілуде.
“Zamin”-ді Telegram-нан оқыңыз!
