OpenAI привлече Нобелов лауреат за независима проверка на научни доказателства, генерирани от AI
Източник: The Decoder / OpenAI
Компанията OpenAI обяви старта на мащабна съвместна инициатива с водещи световни учени, включително носители на Нобелова награда по физика и носители на Филдсов медал, чиято цел е независимата верификация на нови математически хипотези и физически доказателства, генерирани автономно от моделите за разсъждение на лабораторията [1]. Програмата представлява най-сериозният опит досега за валидиране на изкуствения интелект като самостоятелен създател на фундаментални научни знания.
От рецитиране на учебници към откриване на нови леми
Докато предишните генерации невронни мрежи бяха ограничени до преразказване на съществуващата научна литература, най-новите разсъждаващи модели от сериите o-series и техните наследници работят в среда на формална верификация чрез езика Lean 4. Моделите генерират не просто текстови разсъждения, а напълно формализирани математически конструкции, които компилаторът може да провери за логическа неопровержимост.
Експертната научна комисия има за задача да оцени не само формалната вярност на генерираните доказателства, но и тяхната същностна математическа дълбочина и евристична новост. Учените изследват дали моделите откриват неочаквани мостове между напълно несвързани досега клонове на топологията, теорията на числата и квантовата електродинамика.
Справяне със семантичните илюзии при сложни доказателства
Едно от основните предизвикателства е фактът, че дадено доказателство може да бъде синтактично валидно в Lean, но да разглежда тривиални или тавтологични твърдения. Ролята на академичните светила е да насочват изчислителните клъстери към фундаментални отворени проблеми (като уравненията на Навие-Стокс или хипотезата на Риман), филтрирайки безсмислените математически артефакти.
Сливането на човешката интуиция и машинния формализъм
Партньорството между OpenAI и научния елит бележи навлизането в ерата на хибридното научно откривателство. В историята на науката най-големите пробиви често са били забавяни с десетилетия поради невъзможността на човешкия ум да провери милиони междинни комбинации или да забележи скрити математически симетрии.
Комбинацията от визионерската интуиция на водещите учени и безпогрешната формална верификация на машинния интелект обещава експоненциално ускорение на научния прогрес. Този процес не обезценява човешкия ум, а го извисява до ролята на архитект на научни стратегии, докато изкуственият интелект поема тежката задача по прокарването на строго верифицирани пътища през неизследваните територии на знанието.
Четири стълба на валидацията на машинно генерирани научни доказателства