Споделяме напредъка на ИИ в математиката
Публикуваме широк набор от нови математически резултати, получени от наш вътрешен авангарден модел.
За да установим единни стандарти за споделяне на резултати с математическата общност, се консултираме с независимата Консултативна група по математика и изкуствен интелект към Института за напреднали изследвания(отваря се в нов прозорец) за разработването на добри практики. Съобразяваме начина, по който публикуваме тези резултати, с нейните съвети и публични препоръки(отваря се в нов прозорец).
Този път публикуваме резултатите в хранилище в GitHub, заедно с правила за преработване и цитиране на статиите. Продължаваме да проучваме и други възможности за публикуване на тези резултати в платформи, поддържани от общността, които отговарят на насоките на групата. При бъдещи публикации се ангажираме допълнително да повишаваме качеството на статиите, като подобряваме цитирането, математическото изложение и представянето на резултатите, за да бъдат по-разбираеми.
В хранилището ни в GitHub споделяме и формализации на много от доказателствата в Lean — език за програмиране, който позволява математическите доказателства да се проверяват от компютър. Ще добавяме още формализации в хранилището, когато са готови.
За да насърчим прозрачността и откритостта в науката, публикуваме в хранилището и допълнителни подробности за това как сме получили резултатите. Те включват 10 обобщения на структурираното анализиране на модела, оценки на изразходваните изчислителни ресурси, изразени чрез еквивалентното използване на Pro в ChatGPT, и статистика за броя на задачите, за които са правени опити за решаване. За всеки резултат са използвани средно изчислителни ресурси, равностойни на около три часа обмисляне от ChatGPT Pro.
Искаме този напредък да разшири границите на човешкото познание и да създаде възможности за по-нататъшно развитие на математиката. Ще финансираме поредица от работни срещи, конференции и специални програми, посветени на разбирането на значими резултати, получени от ИИ. Ще споделим повече за това в близко бъдеще.
Искаме да предоставим на учените пряк достъп до най-съвременните възможности и работим по отговорното пускане на модела, с който са получени тези резултати. Ето защо е важно да продължим да оценяваме нашите вътрешни авангардни модели по математика и други науки, за да ускорим разработването на инструменти, които подпомагат напредъка в тези области. Ще продължим да се съобразяваме с обратната връзка от общността и да актуализираме стандартите си за бъдещо оповестяване на значими научни постижения.
