Технолошкиот гигант OpenAI објави нова серија на импресивни математички резултати кои опфаќаат детални решенија за повеќе од 370 математички проблеми кои досега важеа за нерешени. Сите овие значајни достигнувања беа остварени со помош на нивниот интерен напреден модел специјализиран за апстрактни и сложени математички задачи. Истиот овој систем неодамна привлече огромно внимание, но и одредени сомнежи кај научниците, откако понуди решение за познатиот Милениумски проблем поврзан со Навие-Стоксовите равенки.
За да ги избегнат претходните критики од страна на академијата, раководството на компанијата овојпат одлучи да го измени својот пристап. Тие остварија блиска соработка со независната Советодавна група за математика и вештачка интелигенција при познатиот Институт за напредни студии (IAS). Врз основа на нивните строги препораки беа воспоставени целосно нови практики за споделување на добиените резултати со глобалната научна заедница.
Главната цел на овие нови протоколи е да се обезбеди максимална доверба, проверливост и подобро разбирање на комплексните податоци што ги генерира алгоритмот. На овој начин, OpenAI се обидува да создаде мост помеѓу технолошкиот сектор и традиционалните математички институции. Наместо сензационалистички објави, компанијата сега се фокусира на темелна проверка и конструктивен дијалог со истражувачите ширум светот.
Заради остварување целосна транспарентност, сите нови резултати се ставени на јавен увид и бесплатно преземање преку познатата платформа GitHub. Во рамките на овој дигитален систем прецизно се дефинирани стандардите за независна академска ревизија, како и соодветните правила за цитирање на трудовите. Од компаниите дополнително ветуваат дека во сите идни објави ќе го подигнуваат квалитетот преку појасно математичко излагање и подобра општа презентација.
Еден од најважните аспекти на оваа објава е тоа што во репозиториумот се вклучени и формализации на бројни докази напишани во програмскиот јазик Lean. Овој специфичен програмски јазик овозможува компјутерска проверка на математичката точност, со што се исклучува можноста за човечка или софтверска грешка во чекорите на докажувањето. Од OpenAI истакнуваат дека оваа база редовно ќе се надополнува со нови проверки, а досега се произведени вкупно 722 научни трудови организирани во 372 посебни логички целини.
Со цел дополнително да го појасни начинот на кој функционира нивниот систем, OpenAI објави и фасцинантни технички детали за самиот процес на пресметување. Меѓу нив се наоѓаат детални резимеа од логичкото резонирање на моделот, како и проценки за вкупната компјутерска моќ што била потрошена. За изработка на еден просечен математички резултат била потребна компјутерска процесорска моќ еквивалентна на приближно три часа непрекнато резонирање во рамките на платената верзија ChatGPT Pro.
Главната визија на оваа иницијатива е поместување на границите на човечкото знаење и поттикнување на позабрзан развој во сите гранки на математиката. Од тие причини, OpenAI најави финансирање на низа меѓународни работни работилници, конференции и специјални истражувачки програми. Сите овие настани ќе бидат насочени кон подлабоко разбирање на математичките резултати генерирани од вештачката интелигенција. Овој потег јасно укажува на нивната намера да градат долгорочна соработка со академијата, заменувајќи го ривалството со заедничка научна работа.
