Zverejňujeme širokú škálu nových matematických výsledkov, ktoré priniesol interný prelomový model.
Chceme zaviesť jednotné postupy zdieľania výsledkov s matematickou komunitou. Pri tvorbe osvedčených postupov preto konzultujeme s nezávislou Poradnou skupinou pre matematiku a umelú inteligenciu pri Inštitúte pre pokročilé štúdiá(otvorí sa v novom okne) a jej rady aj verejné odporúčania(otvorí sa v novom okne) zohľadňujeme pri zverejňovaní týchto výsledkov.
Tieto výsledky zverejňujeme v repozitári na GitHube spolu s pravidlami pre revízie a citovanie vedeckých prác. Naďalej skúmame aj ďalšie možnosti zverejnenia na platformách spravovaných komunitou, ktoré spĺňajú usmernenia poradnej skupiny. Pri budúcom zverejňovaní sa zaväzujeme ďalej zvyšovať kvalitu vedeckých prác zlepšovaním citácií, matematického výkladu a prezentácie výsledkov, aby boli zrozumiteľnejšie.
V našom repozitári na GitHube zdieľame aj formalizácie mnohých dôkazov v jazyku Lean, programovacom jazyku, ktorý umožňuje overovať matematické dôkazy počítačom. Do repozitára budeme pridávať ďalšie formalizácie, keď ich budeme mať k dispozícii.
Na podporu transparentnosti a otvorenosti vo vede zverejňujeme v repozitári aj ďalšie podrobnosti o tom, ako sme výsledky získali. Patrí medzi ne 10 zhrnutí uvažovania modelu, odhady spotrebovaných výpočtových zdrojov vyjadrené ekvivalentným využívaním Pro v ChatGPT a štatistiky o počte problémov, ktoré sa model pokúsil vyriešiť. Na získanie jedného výsledku sa v priemere spotrebovalo toľko výpočtových zdrojov ako na približne tri hodiny premýšľania v ChatGPT Pro.
Chceme, aby tento pokrok posunul hranice ľudského poznania a umožnil ďalší rozvoj matematiky. Budeme financovať sériu workshopov, konferencií a špeciálnych programov zameraných na pochopenie významných výsledkov, ktoré priniesla AI. Viac informácií zverejníme v blízkej budúcnosti.
Chceme vedcom poskytnúť priamy prístup k najmodernejším možnostiam AI a pracujeme na zodpovednom sprístupnení modelu, ktorý priniesol tieto výsledky. Preto je dôležité naďalej vyhodnocovať naše interné prelomové modely v matematike a ďalších vedných odboroch, aby sme urýchlili vývoj nástrojov, ktoré tieto oblasti posunú vpred. Naďalej budeme zohľadňovať spätnú väzbu od komunity a aktualizovať naše štandardy pre budúce zverejňovanie významných vedeckých pokrokov.
