OpenAI машҳур еттита «мингйиллик масаласи»дан бири бўлган Навье-Стокс тенгламалари ечими ва силлиқлиги мавжудлиги масаласи бўйича исботини тақдим этди. Компаниянинг таъкидлашича, унинг янги ички сунъий интеллект тизими маълум шароитларда суюқлик оқими чекланган вақт ичида сингулярликка, яъни тезлик чексиз ўса бошлайдиган ҳолатга етиши мумкинлигини кўрсатган.
Навье-Стокс тенгламалари суюқлик ва газлар ҳаракатини ифодалайди. Улардан, масалан, самолётларни лойиҳалашда, об-ҳавони башорат қилишда ва қон оқимини ўрганишда фойдаланилади. Асосий ечилмаган савол шундай эди: бу тенгламаларнинг силлиқ уч ўлчамли ечимлари маълум бир нуқтада силлиқлигини йўқотиб, «бузилиши» мумкинми? Клэй институти ушбу муаммо ечими учун бир миллион доллар мукофот ваъда қилган эди.
OpenAI ўз тизими бундай сценарийнинг математик исботини яратганини таъкидламоқда. Кейин у расмий шаклга келтирилиб, математик исботларни автоматик текшириш имконини берадиган махсус восита — Lean тизими ёрдамида текширилган. Таклиф этилган ечимда уюрма бир вақтнинг ўзида ҳам айланади, ҳам чўзилади, шу сабабли суюқликнинг умумий энергияси чекланганлигича қолса-да, унинг тезлиги чексиз ортади. Компания исбот матни ва унинг расмий талқинини эълон қилди, бироқ пул мукофотига даъвогар эмаслигини билдирди.
OpenAI
OpenAI ечимидаги уюрма: траекториялар суюқликнинг қандай қилиб ичкарига айланиб, бир вақтнинг ўзида чўзилишини кўрсатади. Тўқ сариқ рангда тезроқ, феруза рангда эса секинроқ айланадиган ҳудудлар белгиланган.
Қайд қилинишича, Навье-Стокс масаласи устида бир вақтнинг ўзида 10 мингга яқин сунъий интеллект агенти ишлаган. Улар тахминан 88 соатда натижага эришди, унинг расмий текшируви эса яна 17 соат вақтни олди. Тажрибалар давомида агентлар 4,9 миллионта хабар юбориб, 300 миллиардга яқин токен сарфлади.
Бироқ Нью-Йорк университети математика профессори Тристан Бакмастер OpenAI компаниясини ўзганинг ғоясини ўзлаштириб олганликда айблади.
