OpenAI компанияси ўзининг янги мулоҳаза юритувчи модели геометрия соҳасидаги машҳур ечилмаган гипотезани рад этувчи оригинал математик исботни тақдим этганини маълум қилди. Ушбу муаммо илк бор 1946-йилда Пол Эрдош томонидан илгари сурилган эди. Бу OpenAI учун бундай турдаги биринчи даъво эмас, бироқ бу сафар натижалар анча жиддий кўринмоқда. Бу ҳақда Techcrunch.com хабар беради.
Бундан етти ой аввал компаниянинг собиқ вице-президенти Кевин Вейл GPT-5 модели Эрдошнинг 10 та ечилмаган муаммосига жавоб топганини айтган эди. Бироқ кейинчалик модел шунчаки адабиётларда мавжуд бўлган ечимларни топгани маълум бўлди. Бу хатолик Янн ЛеКун ва Google DeepMind раҳбари Демис Ҳассабис каби рақибларнинг танқидларига сабаб бўлган эди. Бу сафар OpenAI хатони такрорламаслик учун Нога Алон ва Тҳомас Блоом каби таниқли математиклар билан ҳамкорликда исботни тасдиқлади.
“Деярли 80 йил давомида математиклар энг яхши ечимлар квадрат панжараларга ўхшаш бўлади деб ишонишган. OpenAI модели ушбу ишончни рад этди ва янада самаралироқ ишлайдиган бутунлай янги конструкциялар оиласини кашф қилди”, — дейилади компания баёнотида. Бу сунъий интеллектнинг математика соҳасидаги марказий муаммони мустақил равишда ҳал қилган илк ҳолати сифатида баҳоланмоқда.
OpenAI таъкидлашича, ушбу исбот махсус математика учун яратилган тизим эмас, балки умумий мақсадли янги мулоҳаза юритиш модели томонидан амалга оширилган. Бу сунъий интеллект тизимларининг узоқ ва мураккаб мантиқий занжирларни боғлаш қобилияти ошганини англатади. Бундай ютуқ келажакда биология, физика, муҳандислик ва тиббиёт соҳаларида ҳам янги кашфиётлар қилиш имконини бериши кутилмоқда.
“Zamin”ни Telegram'да ўқинг!
