OpenAI Astra е следниот голем модел на вештачка интелигенција: Тие тврдат дека решиле 10 долгогодишни математички проблеми
OpenAI официјално го спомена својот нов модел Astra за прв пат, објавувајќи дека внатрешната верзија на системот направила десет значајни напредоци во математиката и теоретската компјутерска наука. Доказите се формално потврдени во Lean системот, но експертите предупредуваат дека резултатите сè уште не се потврдени преку стандардниот научен процес.
Во истражувачкиот труд, компанијата првпат јавно го употреби името Astra, кое го опиша како „нашето следно големо семејство модели“. Според OpenAI, резултатите се добиени со користење на интерна, но сепак необјавена верзија на системот. Објавените проблеми опфаќаат исклучително широк спектар на области: високодимензионална геометрија, теорија на кодови, сложеност на аритметички кола, теорија на групи, квантна сложеност, криптографија на решетки и екстремна комбинаторика.
Меѓу најзначајните резултати се конструкција што го потврдува постоењето на несофични групи, побивање на хипотезата за ригидност на Конс, нови долни граници за пресметување на перманентни броеви со користење на аритметички кола и нови резултати поврзани со неколку проблеми поставени од легендарниот математичар Пол Ердош. Она што ја прави оваа објава особено интересна е начинот на кој OpenAI се обиде да обезбеди проверливост на резултатите. Компанијата тврди дека секој доказ е формализиран по генерирањето во Lean системот, формален софтвер за математичка верификација што овозможува машинска верификација на логичката точност на доказите. Покрај тоа, беа објавени придружни материјали што покажуваат како моделот стигнал до одредени решенија.
OpenAI исто така споменува уште еден детаљ што привлече големо внимание од истражувачката заедница: се проценува дека вкупниот број на токени потребни за да се пронајдат сите десет резултати би чинел околу 2.000 долари по цени на Sol API. Доколку оваа проценка се покаже како реална, тоа би значело дека системот потенцијално достигнал резултати што им се спротивставувале на човечките истражувачи со децении со релативно скромни пресметковни трошоци.
Важно е да се нагласи, сепак, дека ова не е исто што и конечно прифатен математички резултат. Иако формалната верификација значително ја зголемува довербата во логичката структура на доказот, математичката заедница сè уште не поминала низ стандардниот процес на рецензија од страна на колеги, анализа и независна потврда.
Неколку математичари кои коментираа за публикацијата оценија дека резултатите се „потенцијално многу значајни“, но во исто време предупредија дека е потребно време експертите детално да ги проучат доказите. Особено е интересно како Astra се вклопува во пошироката слика за развојот на OpenAI. Според претходните извештаи на The Information, Astra е замислена како семејство модели специјализирани за долгорочни и сложени задачи, способни да координираат повеќе агенти на вештачка интелигенција кои работат на различни делови од истиот проблем во текот на часови или дури и денови.
Таквиот пристап претставува значително отстапување од денешните интерактивни чет-ботови кои претежно решаваат кратки, индивидуални барања. Затоа, веќе се појавуваат шпекулации дека Astra би можела да стане основа за GPT-6 или некоја напредна варијанта на линијата GPT-5, иако OpenAI сè уште не го потврди името на идниот комерцијален производ или датумот на неговото лансирање.
Пошироките импликации од ова соопштение може да бидат поважни од поединечните докази. Досега, најимпресивните резултати од вештачката интелигенција најчесто се однесуваа на бенчмарк тестови или автоматизација на постојните задачи. Решавањето на отворени истражувачки проблеми претставува квалитативно различно ниво на способност, бидејќи не постои познат точен одговор што моделот може едноставно да го репродуцира од податоците за обука.
Ова, се разбира, не значи дека Astra е доказ за вештачка општа интелигенција (AGI). Дури и ако сите резултати се точни, тие демонстрираат исклучително силна способност во формални, строго дефинирани домени како математиката, каде што постојат јасни правила и можност за објективна верификација. Таквата способност е импресивна, но сепак е многу различна од општата човечка интелигенција, која вклучува разбирање на светот, креативност во неструктурирани ситуации и широка прилагодливост. Сепак, тешко е да се прецени симболичното значење на овој момент. Наместо класична маркетиншка кампања, OpenAI избра да ја претстави својата следна голема платформа за вештачка интелигенција преку научен резултат што може да се тестира, оспори и потенцијално да се прифати од математичката заедница.
Ова е можеби најјасниот сигнал досега дека водечките компании за вештачка интелигенција се натпреваруваат сè помалку и помалку само за тоа кој ќе направи подобар чатбот, а сè повеќе и повеќе за тоа кој може да создаде систем способен да придонесе за вистинско научно откритие. Доколку барем дел од објавените резултати се потврдат преку независна експертска евалуација, Astra би можела да се запомни не само како следниот модел на OpenAI, туку и како еден од првите системи со вештачка интелигенција што покажа мерлив придонес во модерната математичка наука, пишува
BleepingComputer.