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