Споделуваме напредок на ВИ во математиката
Објавуваме широк спектар нови математички резултати добиени со интерен граничен модел.
За да го стандардизираме начинот на споделување на резултатите со математичката заедница, се консултираме со независната Советодавна група за математика и вештачка интелигенција при Институтот за напредни студии(се отвора во нов прозорец) за развивање најдобри практики. Нивните совети и јавно објавени препораки(се отвора во нов прозорец) ги вградуваме во начинот на кој ги објавуваме овие резултати.
Овојпат ги објавуваме резултатите во репозиториум на GitHub, со протоколи за ревизија и цитирање на трудовите. Продолжуваме да истражуваме и други можности за објавување на овие резултати на платформи што ги одржува заедницата и кои ги исполнуваат насоките на комитетот. За идните објави, посветени сме на натамошно подобрување на квалитетот на трудовите преку цитирањето, математичкото образложение и претставувањето на резултатите, за тие полесно да се разберат.
Во нашиот репозиториум на GitHub споделуваме формализации на многу од доказите во Lean, програмски јазик што овозможува компјутерска проверка на математички докази. Ќе додаваме нови формализации во репозиториумот штом ги добиеме.
За да ја поттикнеме транспарентноста и отвореноста во науката, во репозиториумот објавуваме и дополнителни детали за тоа како ги добивме резултатите. Тие вклучуваат 10 резимеа на расудувањето на моделот, процени на потрошените пресметковни ресурси изразени преку користење на Pro во ChatGPT и статистички податоци за бројот на проблеми што се обидовме да ги решиме. За еден резултат во просек беа потрошени пресметковни ресурси еквивалентни на приближно три часа размислување на ChatGPT Pro.
Сакаме овој напредок да ги помести границите на човечкото знаење и да овозможи натамошен напредок во математиката. Ќе финансираме низа работилници, конференции и посебни програми посветени на разбирањето на значајните резултати добиени со ВИ. Наскоро ќе споделиме повеќе информации за ова.
Сакаме да им овозможиме на научниците директно да ги користат најсовремените можности и работиме на одговорно објавување на моделот со кој се добиени овие резултати. Затоа е важно да продолжиме да ги оценуваме нашите интерни гранични модели во математиката и другите науки, за да го забрзаме развојот на алатки што ќе ги унапредат тие области. Ќе продолжиме да постапуваме според повратните информации од заедницата и да ги ажурираме нашите стандарди за идни објавувања на значајни научни достигнувања.
