Google DeepMind компаниясы AlphaProof Nexus деп аталатын жаңа математикалық фреймворкті таныстырды. Бұл жүйе әйгілі математик Пол Эрдёштың тізіміндегі тоғыз ашық есепті өз бетінше шеше алды. Олардың кейбіреулері жарты ғасырдан астам уақыт бойы шешілмей келген еді. Сондай-ақ, жүйе Бүтін сандар тізбегінің онлайн энциклопедиясындағы (OEIS) 44 гипотезаны дәлелдеп, алгебралық геометриядағы 15 жылдық мәселені шешті. Бұл туралы Ixbt.com хабарлайды.
AlphaProof Nexus жүйесінің басты ерекшелігі – Gemini 3.1 Pro тілдік моделі мен Lean ресми математикалық тексеру жүйесінің үйлесімі. Қарапайым LLM модельдерінен айырмашылығы, бұл жүйе дәлелдерді табиғи тілде емес, Lean бағдарламалау тілінде кезең-кезеңімен қалыптастырады. Әрбір қадам компилятор арқылы автоматты түрде тексеріледі. Егер қателік орын алса, Lean нақты хабарлама қайтарады және модель келесі талпыныста одан қорытынды шығарады. Бұл тәсіл жасанды интеллектің логикалық қателіктерге (галлюцинация) жол беруіне тосқауыл қояды.
Зерттеушілердің айтуынша, бір есепті шешуге жұмсалған есептеу шығындары бірнеше жүз долларды құрады. Жүйе әсіресе комбинаторика, сандар теориясы және дөңес оңтайландыру сияқты Mathlib кітапханасы жақсы дамыған салаларда жоғары нәтиже көрсетті. Дегенмен, Эрдёштың 353 ашық есебінен әзірге тек тоғызы ғана шешілді, бұл жасанды интеллект үшін әлі де атқарылар жұмыстың көп екенін көрсетеді.
DeepMind мамандары AlphaProof Nexus математиктердің орнын баспайтынын, керісінше жаңа зерттеу құралына айналатынын атап өтті. Жүйе ұсынған барлық ресми дәлелдер GitHub платформасында жарияланды. Бұл жұмыс OpenAI сияқты бәсекелестердің математикалық зерттеу саласындағы жетістіктері аясында жүзеге асырылды. Мысалы, бұған дейін OpenAI өздерінің reasoning-моделі арқылы Эрдёштың қашықтықтар туралы гипотезасын жоққа шығарған болатын.
“Zamin”-ді Telegram-нан оқыңыз!
