مجموعهٔ گسترده‌ای از نتایج تازه در ریاضیات را منتشر می‌کنیم که یک مدل پیشرو داخلی به دست آورده است.
برای استانداردسازی شیوهٔ اشتراک‌گذاری نتایج با جامعهٔ ریاضی، با گروه مشورتی مستقل ریاضیات و هوش مصنوعی در مؤسسهٔ مطالعات پیشرفته(در یک پنجره جدید باز می‌شود) مشورت کرده‌ایم تا بهترین رویه‌ها را تدوین کنیم. راهنمایی‌های این گروه و توصیه‌های عمومی(در یک پنجره جدید باز می‌شود) آن را در شیوهٔ انتشار این نتایج به کار می‌گیریم.
این بار، نتایج را در یک محل نگهداری در GitHub، همراه با دستورالعمل‌هایی برای بازنگری مقاله‌ها و ارجاع‌دهی منتشر می‌کنیم. همچنان در حال بررسی گزینه‌های دیگری برای انتشار این مجموعه هستیم که جامعهٔ ریاضی میزبانی آن‌ها را بر عهده داشته باشد و با دستورالعمل‌های کمیته سازگار باشند. برای انتشارهای آینده، متعهدیم با بهبود ارجاع‌دهی، توضیحات ریاضی و شیوهٔ ارائهٔ نتایج، کیفیت مقاله‌ها را باز هم ارتقا دهیم تا درک آن‌ها آسان‌تر شود.
در محل نگهداری ما در GitHub، صورت‌بندی صوری بسیاری از اثبات‌ها را نیز به زبان Lean به اشتراک می‌گذاریم؛ زبانی برنامه‌نویسی که امکان بررسی اثبات‌های ریاضی با رایانه را فراهم می‌کند. هرگاه صورت‌بندی‌های صوری بیشتری آماده شود، آن‌ها را به محل نگهداری اضافه خواهیم کرد.
برای ترویج شفافیت و دسترسی آزاد در علم، جزئیات بیشتری دربارهٔ چگونگی دستیابی به نتایج را نیز در این محل نگهداری منتشر می‌کنیم. این جزئیات شامل ۱۰ خلاصه از استدلال مدل، برآورد منابع محاسباتی مصرف‌شده بر حسب میزان استفاده از Pro در ChatGPT و آماری از تعداد مسائلی است که برای حل آن‌ها تلاش شده است. برای دستیابی به هر نتیجه، به‌طور میانگین منابع محاسباتی معادل حدود سه ساعت تفکر ChatGPT Pro مصرف شده است.
می‌خواهیم این پیشرفت مرزهای دانش بشری را گسترش دهد و زمینه‌ساز پیشرفت‌های بیشتر در ریاضیات شود. هزینهٔ مجموعه‌ای از کارگاه‌ها، همایش‌ها و برنامه‌های ویژه را برای درک نتایج مهم به‌دست‌آمده با هوش مصنوعی تأمین خواهیم کرد. در آیندهٔ نزدیک اطلاعات بیشتری در این باره منتشر می‌کنیم.
می‌خواهیم پیشرفته‌ترین قابلیت‌ها را مستقیماً در اختیار دانشمندان قرار دهیم تا توانمندتر شوند، و در تلاشیم مدلی را که این نتایج را به دست آورده است، به‌شکلی مسئولانه عرضه کنیم. به همین دلیل، مهم است که ارزیابی مدل‌های پیشرو داخلی خود را در ریاضیات و دیگر علوم ادامه دهیم تا بتوانیم توسعهٔ ابزارهایی را که به پیشرفت این حوزه‌ها کمک می‌کنند، سرعت ببخشیم. همچنان بازخوردهای جامعهٔ علمی را به کار خواهیم گرفت و استانداردهای خود را برای اعلام پیشرفت‌های مهم علمی در آینده به‌روز خواهیم کرد.
