OpenAI 722 نسخه خطی ریاضی تولید شده توسط یک مدل مرز داخلی منتشر نشده منتشر کرد و مجموعه کامل را در یک مخزن عمومی GitHub تحت مجوز Apache-2.0 قرار داد. این نسخه که در یک پست تحقیقاتی با عنوان "به اشتراک گذاری پیشرفت هوش مصنوعی در ریاضیات" در 6 اکتبر 2026 اعلام شد، یکی از بزرگترین نمونه های منفرد از نتایج ریاضی تولید شده توسط هوش مصنوعی تا به امروز است و با بررسی های رسمی اثبات ناب، خلاصه های استدلال خلاصه شده و جزئیات غیرعادی در مورد میزان محاسبه هر نتیجه ارائه می شود.

این حرکت در زمینی که از قبل در لبه است فرود می آید. نیویورک تایمز گزارش داد که انتشار بیشتر جامعه ریاضیاتی را که ماه‌ها با سیستم‌های هوش مصنوعی دست و پنجه نرم می‌کردند و نتایج تحقیقاتی جدی را تولید می‌کردند، آزار می‌داد، در حالی که ساینتیفیک آمریکن اوپن‌آی را به‌عنوان «صدها نتیجه ریاضی دیگر در زمینه‌ای که در شوک بود» توصیف کرد. برای خوانندگانی که [آخرین پیشرفت‌های تحقیقاتی هوش مصنوعی] (https://aibuzzwire.news) را دنبال می‌کنند، این نسخه آزمایشی است برای اینکه چگونه آزمایشگاه‌های مرزی علوم تولید شده توسط ماشین را بدون ایجاد اختلافات اعتباری به اشتراک می‌گذارند.

آنچه در داخل مخزن است

این مجموعه در مخزن openai/math در GitHub زندگی می کند. با توجه به README آن، محتویات نسخه‌های خطی ریاضی و مصنوعات اثبات پشتیبان تولید شده توسط یک مدل OpenAI داخلی است که به عنوان بخشی از ارزیابی‌های توسعه مدل در مسائل تحقیق باز جمع‌آوری شده‌اند. کاتالوگ کنونی شامل 722 نسخه خطی است که در 372 خانواده سازماندهی شده‌اند، که در آن یک خانواده مقالات مرتبط را که ممکن است شامل یک نتیجه اصلی، استدلال‌های همراه، پیامدها یا اثبات‌های جایگزین باشد، گروه‌بندی می‌کند، که هر کدام بر اساس رشته ریاضی طبقه‌بندی می‌شوند.

یک فهرست پیش‌چاپ، فایل‌های پی‌دی‌اف، فایل‌های منبع، و استنادات و دستورالعمل‌های ساخت هر نسخه را در خود نگه می‌دارد. یک کتابخانه ناب، مدارک رسمی را در کنار مقالات مرتبط و پیکربندی‌های راستی‌آزمایی فهرست‌بندی می‌کند. همه نسخه‌های خطی رسمی نشده‌اند: بسیاری از نتایج حاوی رسمی‌سازی‌های همراه در Lean هستند، زبان برنامه‌نویسی که برای بررسی خط به خط اثبات‌ها به رایانه‌ها استفاده می‌شود، اما README هشدار می‌دهد که برخی از نتایج غیررسمی ممکن است حاوی مشکلاتی باشند. OpenAI می‌گوید چنین مشکلاتی را به سرعت برطرف می‌کند و متعهد می‌شود که تاریخچه انتشار عمومی مجموعه را حفظ کند، اصلاحات و بازبینی‌ها را به عنوان نسخه‌های جدید ثبت کند و در عین حال نسخه‌های قبلی را در دسترس نگه دارد. هر فهرست دستنوشته همچنین یک بلوک BibTeX برای استناد دارد.

نتایج چگونه تولید شد

اکثریت قریب به اتفاق نتایج از یک روش واحد و ثابت با استفاده از یک مدل OpenAI داخلی منتشر نشده به دست آمده است. در طول ارزیابی، مدل تقریباً 4000 مشکل داشت. OpenAI گزارش می دهد که میانگین نتایج منتشر شده معادل تقریباً سه ساعت محاسبه تفکر ChatGPT Pro مصرف کرده است، سطحی از شفافیت که هنوز در صنعت نادر است. این شرکت می‌گوید که این ارزیابی‌ها را پس از اشباع شدن عملکرد در معیارهای ریاضی موجود خود گسترش داده است و برخی از خروجی‌ها بر اساس نتایج قبلی تولید شده توسط مدل‌های خود است. نیاز به سطح مناسبی از اهمیت و تجمیع خروجی خام در خانواده ها و نسخه های خطی، فهرست منتشر شده را تولید کرد.

دو استثناء نام‌گذاری شده از این رویه خارج شدند: کار ایجاد یک منطقه بدون صفر برای تابع زتای ریمان، با نوشته‌ای که منطقه Re(s) > 11/12 را پوشش می‌دهد و برای خوانایی توسط انسان ویرایش شده است، و اثبات حدس هوج برای گونه‌های CM abelian. هر دو ریاضیات جریان اصلی جدی هستند و هر دو اکنون با نظارت جامعه روبرو خواهند شد.

ده خلاصه خلاصه شده از استدلال مدل نیز منتشر شده است. آنها نتایجی از جمله شارغ غیرمنطقی پی، حدس‌های متقارن و کلی مالر، هم‌شکل عوامل گروه آزاد، مرزهای شبه چندجمله‌ای برای پیشروی‌های حسابی، حدس مستقیم-تناهی کاپلانسکی در مشخصه دو، فرمول مزارد-پاریسی برای رقیق‌شده عینک‌های اسپین مغناطیسی، و رقیق‌سازی شیشه‌های اسپینی مغناطیسی هه‌برگ و اسپین‌تان را پوشش می‌دهند. سیستم نسبیتی سه بعدی Vlasov-Maxwell.

یک گروه مشاوره به شکل دادن به انتشار کمک کرد

OpenAI می‌گوید با گروه مشاوره مستقل ریاضیات و هوش مصنوعی در موسسه مطالعات پیشرفته در حالی که بهترین شیوه‌ها را برای به اشتراک گذاشتن نتایج توسعه می‌دهد، مشورت کرده است. آن گروه پس از دریافت بیش از 600 پاسخ از جامعه ریاضی، توصیه‌های انتشار مسئول خود را در 29 سپتامبر 2026 منتشر کرد. توصیه‌ها صریح هستند: "ما این عمل را تایید نمی‌کنیم و از آنها می‌خواهیم که آزمایش مسائل ریاضی پیشرفته را بر روی مدل‌های اختصاصی متوقف کنند." این گروه از آزمایشگاه‌ها می‌خواهد نتایج را در مخازن علمی که هیچ آزمایشگاه هوش مصنوعی کنترل نمی‌کند، سپرده‌گذاری کنند، شناسه‌های قابل استناد دائمی را اختصاص دهند، نام مدل، اعلان‌های استفاده‌شده و زنجیره‌های خلاصه استدلال را فاش کنند، و از تلقی انتشار نتایج به‌عنوان ابزار بازاریابی خودداری کنند.

انتشار OpenAI آشکارا تلاشی برای انطباق با آن چارچوب به جای سرپیچی از آن است. این که آیا جامعه آن را می پذیرد یا خیر، بحث دیگری است. نظرسنجی گروه مشاور به طور خاص در مورد سناریویی سوال کرد که در آن یک آزمایشگاه وجود نتایج بسیاری را بدون ارائه جزئیات اعلام می‌کند، و توصیه‌هایی که ظاهر شد نشان‌دهنده نگرانی عمیق درباره اعلامیه‌هایی است که از تأیید صحت پیشی می‌گیرند.

بار تأیید به ریاضیدانان منتقل می شود

چالش عملی اکنون متعلق به ریاضیدانان شاغل است. اثبات ناب رسمی را می توان به صورت مکانیکی بررسی کرد و وجود آنها خطر خطا را به میزان قابل توجهی کاهش می دهد. اما نسخه‌های خطی بدون رسمی‌سازی، که خود README آنها را به‌عنوان ناقص بالقوه پرچم‌گذاری می‌کند، نیاز به بررسی سنتی دارند و 722 نسخه خطی بسیار فراتر از آن چیزی است که جامعه می‌تواند به سرعت جذب کند. همچنین سؤال اولویت و اعتبار وجود دارد: ریاضیدانانی که سال ها را در کنار این مسائل گذرانده اند، می خواهند بدانند که دقیقاً چه مدلی پرسیده شده است، چه چیزی ارائه شده است و آیا نتیجه انسانی در آن گنجانده شده است یا خیر. انتشار خلاصه‌های اعلان‌ها و آمار محاسبه OpenAI برای پاسخ دادن به برخی از این سؤالات از قبل طراحی شده است.

این نسخه همچنین یک الگو را تعیین می کند که رقبای ممکن است تحت فشار قرار بگیرند تا دنبال کنند. آزمایشگاه‌های Anthropic، Google DeepMind و دیگر آزمایشگاه‌های دارای مدل‌های مرزی که قادر به انجام ریاضیات در سطح تحقیقاتی هستند، اکنون با یک هنجار عملی روبرو هستند که توسط گروه مشاوره بیان شده است، مبنی بر اینکه نتایج پنهان در مدل‌های اختصاصی یا باید با منشأ کامل منتشر شوند یا به هیچ وجه مورد تمسخر قرار نگیرند.

در حال حاضر، مخزن فعال است، تلاش برای رسمی سازی ادامه دارد، و اصلاحات در حال ارائه نسخه عمومی هستند. این که آیا این کتاب بازی استاندارد ریاضیات تولید شده توسط هوش مصنوعی می شود یا نقطه اشتعال دیگری در تضاد گسترده بین آزمایشگاه ها و جوامع تحقیقاتی که آنها از آنها استفاده می کنند، بستگی به نحوه بررسی چند هفته آینده دارد.

از منحنی هوش مصنوعی جلوتر بمانید

علم تولید شده توسط هوش مصنوعی از انتشار مطبوعاتی به بررسی همتایان در حال حرکت است. [اخبار فوری هوش مصنوعی را در aibuzzwire.news دنبال کنید] (https://aibuzzwire.news) برای پوشش هر نسخه تحقیقاتی مهم، راه اندازی مدل، و تغییر سیاست.

اخبار هوش مصنوعی را بیشتر بخوانید →