Zveřejňujeme širokou škálu nových matematických výsledků, které přinesl interní průkopnický model.
Chceme sjednotit způsob, jakým sdílíme výsledky s matematickou komunitou. Proto při tvorbě osvědčených postupů konzultujeme nezávislou Poradní skupinu pro matematiku a umělou inteligenci při Institutu pro pokročilá studia(otevře se v novém okně) a její rady i veřejná doporučení(otevře se v novém okně) začleňujeme do způsobu zveřejňování těchto výsledků.
Tentokrát výsledky zveřejňujeme v úložišti na GitHubu spolu s pravidly pro revize článků a citování. Nadále zkoumáme i další možnosti zveřejnění těchto výsledků na platformách spravovaných komunitou, které splňují pokyny poradní skupiny. Při budoucím zveřejňování výsledků se zavazujeme dále zvyšovat kvalitu článků: zlepšovat citace, matematický výklad i prezentaci výsledků, aby byly srozumitelnější.
V našem úložišti na GitHubu sdílíme také formalizace mnoha důkazů v programovacím jazyce Lean, který umožňuje ověřovat matematické důkazy počítačem. Do úložiště budeme přidávat další formalizace, jakmile je získáme.
V zájmu transparentnosti a otevřenosti vědy v úložišti zveřejňujeme i další podrobnosti o tom, jak jsme k výsledkům dospěli. Patří mezi ně 10 shrnutí uvažování modelu, odhady spotřebovaných výpočetních prostředků vyjádřené ekvivalentem využití Pro v ChatGPT a statistiky o počtu problémů, které se model pokusil vyřešit. Získání jednoho výsledku si v průměru vyžádalo výpočetní prostředky odpovídající přibližně třem hodinám přemýšlení ChatGPT Pro.
Chceme, aby tento pokrok posouval hranice lidského poznání a umožňoval další rozvoj matematiky. Budeme financovat sérii workshopů, konferencí a speciálních programů zaměřených na porozumění zásadním výsledkům dosaženým pomocí AI. Více informací sdělíme v blízké budoucnosti.
Chceme vědcům přímo zpřístupnit nejmodernější schopnosti AI a pracujeme na odpovědném uvedení modelu, který tyto výsledky přinesl. Proto je důležité nadále vyhodnocovat naše interní průkopnické modely v matematice i dalších vědních oborech, abychom mohli urychlit vývoj nástrojů, které tyto obory posunou vpřed. Budeme i nadále zohledňovat zpětnou vazbu od komunity a aktualizovat naše standardy pro budoucí zveřejňování významných vědeckých pokroků.
