Новият модел на OpenAI пренаписва правилата в математиката

Изкуственият интелект навлиза в територия, която доскоро смятахме за запазена само за най-брилянтните човешки умове. Според публикация в сп. Science, OpenAI е напът да промени математиката завинаги, макар че никой все още не знае точно как се случва това.

Миналата седмица компанията е публикувала впечатляващите 722 математически ръкописа, които са генерирани от все още непубликуван техен AI модел. Тези документи не са просто базова математика, а обхващат сложни области като теория на числата, алгебра, геометрия, комбинаторика, теоретична информатика и дори физика. Най-впечатляващото е, че част от тези резултати засягат математически проблеми, които са останали нерешени в продължение на десетилетия.

Водещият български учен и експерт по изкуствен интелект Мартин Вечев коментира темата в своя Facebook профил, отбелязвайки, че най-мощните AI модели вече стават толкова добри, че някои наричат този процес “Математически апокалипсис”. Той обаче обръща внимание, че проверката на генерираните резултати остава критично важна. Макар много от доказателствата на модела да са формализирани чрез системи за автоматизирана проверка като Lean, самият превод на математическите твърдения към тях може да съдържа трудно откриваеми грешки.

Затова и човешкият фактор не само че не губи своето значение, но остава в центъра на научния процес. Вечев напомня, че пробивите на изкуствения интелект всъщност стъпват върху десетилетия натрупан човешки напредък, като някои от сложните проблеми вече са били близо до своето решение. Ролята на експертите сега ще бъде да подобряват, опростяват и извличат по-дълбоки идеи от генерираните AI доказателства.

С напредването на технологиите предимството на хората неминуемо се измества. Вместо просто да решаваме конкретни задачи, фокусът ще пада все повече върху формулирането на правилните въпроси, детайлната проверка на готовите решения и обобщаването на резултатите в по-общи теории.

Ето защо Вечев категорично разбива един от най-популярните митове днес – че традиционното образование става излишно. Напротив, за да можем да комуникираме ефективно с AI, да откриваме грешките му и да надграждаме над неговите резултати, ни е необходимо дълбоко разбиране. А то се изгражда чрез същата сериозна подготовка и самостоятелни опити за решаване на трудни задачи, както и досега.

“Парадоксът на AI е че: колкото по-добър става AI в решаването на проблеми, толкова по-дълбоко разбиране ще се изисква от хората”, завършва коментара си Мартин Вечев.