OpenAI даје 5 милиона долара да математичари провере AI резултате

OpenAI је 15. октобра 2026. најавио допринос од 5 милиона долара иницијативи фондације Simons Foundation, која треба да помогне математичарима да испитају резултате настале уз помоћ AI, укључујући радове које је компанија већ објавила. Подршка обухвата радионице, конференције и посебне програме. OpenAI ће истраживачима које фондација подржи омогућити и приступ својим моделима и рачунарским ресурсима.

Саопштење Simons Foundation од 15. октобра 2026. наводи да ће фондација, OpenAI и Anthropic заједно обезбедити 15 милиона долара у новцу и ресурсима, а председник фондације Дејвид Спергел циљ програма сажима речима: „The goal of the program is to support the mathematics community.“ Фондација ће управљати доделом средстава, укључујући јавни позив за предлоге. Математичке резултате испитиваће истраживачи који буду радили у оквиру подржаних активности; сама одлука о финансирању није оцена исправности било ког доказа.

Како је састављен фонд од 15 милиона долара

Допринос OpenAI од 5 милиона долара један је део ширег партнерског пакета. Укупних 15 милиона обухвата новац и ресурсе три партнера, па тај износ не означава готовину већ распоређену појединачним грантовима. Уз финансирање, обе AI компаније треба да обезбеде алате и рачунарске капацитете истраживачима које подржи фондација. Та подршка може да обухвати и истраживаче основних наука изван математике.

Средства су намењена активностима у којима математичари могу да процењују новије резултате добијене уз помоћ AI, уче да користе нове алате и обликују заједничке стандарде за њихову употребу. Радионица посвећена тешком резултату може да окупи стручњаке за различите делове аргумента; конференција може да отвори ширу расправу о значају тог резултата. Најављени програм оставља простор да истраживачка заједница предложи шта заслужује такву пажњу.

У извештају EconoTimes наведено је да засебни новчани износи доприноса фондације и компаније Anthropic нису објављени. Зато се преостали део укупне вредности не може поуздано поделити између та два партнера, нити претворити у износ који ће добити одређена истраживачка група. За сада су утврђени допринос OpenAI и вредност целог пакета, док ће расподела подршке зависити од предлога које фондација одабере.

Ко ће проверавати резултате

Simons Foundation ће организовати доделу подршке, а математичари ће кроз предложене активности обављати стручни посао. Јавни позив омогућава да предлози дођу из истраживачке заједнице, уместо да компаније саме одреде списак доказа и људи који треба да их оцене. Објављени план не именује један стални панел који би одлучивао о свим AI резултатима. Ко ће испитивати појединачне радове постаће јасније после избора предлога.

Провера математичког рукописа почиње утврђивањем шта он тачно тврди и под којим претпоставкама. Затим стручњаци морају да оцене да ли сваки корак аргумента следи из претходних, да ли се рад ослања на исправно употребљене раније резултате и шта заиста додаје постојећем знању. То може да захтева време истраживача из више области, нарочито када један рукопис спаја методе које обично проучавају различите групе математичара.

Публиковање, стручна рецензија и формална провера имају различите улоге. Јавно доступан рукопис омогућава другима да читају и оспоре аргумент; рецензија доноси стручну оцену његове исправности, новине и значаја. Формални запис у систему попут Lean може да омогући рачунарску проверу записаног доказа, али и тада треба утврдити да ли запис одговара математичкој тврдњи коју аутори представљају. Финансирање омогућава људима да обаве тај посао, без унапред одређеног исхода.

Шта показују већ објављени рукописи OpenAI

Обим материјала помаже да се разуме зашто је организована провера потребна. Јавни репозиторијум OpenAI наводи 719 рукописа у 372 групе повезаних резултата и упозорава да су радови у различитим фазама провере. Немају сви пратећи формални доказ у Lean-у, а неформализовани резултати могу да садрже грешке. Једна група може да обухвати главни рад, пратеће аргументе, последице или другачији доказ, па број рукописа није број независно потврђених теорема.

Могућност исправки већ се види у историји измена репозиторијума: 7. октобра 2026. OpenAI је повукао три рукописа након што је грешка у знаку нарушила један аргумент и конструкцију од које су зависила још два рада; истовремено је ревидирао још 14 рукописа. Повучене верзије остале су доступне уз објашњења проблема. Тај случај показује колико исход може да зависи од једног корака и зашто су јавне исправке важан део математичке расправе.

За истраживаче није довољно само утврдити да се формуле у рукопису могу пратити. Потребно је раздвојити тачне тврдње од оних којима недостаје претпоставка, проверити зависности међу радовима и проценити да ли нови резултат решава проблем у обиму у којем је представљен. Пошто се повезани рукописи могу ослањати један на други, исправка у једном може захтевати поновно читање осталих. Зато су време за заједнички рад и стручњаци за конкретну област једнако битни као приступ моделу који је резултат предложио.

Шта следи за програм фондације

Следећа конкретна етапа биће јавни позив фондације и избор предлога које ће подржати. Тек тада ће се видети које теме добијају организоване радионице или друге облике рада и који истраживачи преузимају проверу одређених резултата. Засебан распоред грантова и датум тих одлука нису наведени у најави. За читаоце који прате објављене AI доказе, важан исход биће налази математичара: који аргументи издржавају проверу, а који траже исправку или додатно образложење.

Прочитајте и:

• OneByZero добио 20 милиона долара — раст прихода још није независно проверен
• Google уклони резултат, али не и страницу — како обрисати личне податке
• Стварни власник се проверава сваке године — затим тече још 30 дана