نتایج ریاضی مدل داخلی OpenAI منتشر شد؛ نه خود مدل
OpenAI نتایج ریاضی یک مدل داخلی را منتشر کرده است. صورت‌بندی برخی اثبات‌ها در Lean چه معنایی دارد و چرا این انتشار معادل تأیید مستقل یا عرضه مدل نیست؟
در این مقاله می‌خوانید ۲ بخش
چه چیزی منتشر شده و آیا مدل در دسترس است؟
OpenAI در اطلاعیهٔ ۶ اکتبر ۲۰۲۶ اعلام کرد نتایج ریاضی مدل داخلی OpenAI را در GitHub منتشر کرده است؛ این خبر دربارهٔ انتشار خروجی‌های پژوهشی است، نه عرضهٔ مدل تولیدکننده یا افزودن قابلیتی تازه به ChatGPT عمومی.
به گفتهٔ شرکت، این انتشار شامل ده خلاصهٔ استدلال، تعداد مسائل تلاش‌شده و برآورد محاسبات مصرف‌شده است. سازوکاری نیز برای ثبت اصلاحات و استناد در نظر گرفته شده است. نام و نسخهٔ مدل مشخص نیست و زمان یا شرایط دسترسی عمومی به آن اعلام نشده است.
بررسی اثبات در Lean با تأیید علمی چه تفاوتی دارد؟
بخشی از اثبات‌ها به زبان Lean صورت‌بندی شده‌اند تا امکان بررسی رایانه‌ای آن‌ها فراهم شود؛ OpenAI می‌گوید صورت‌بندی‌های بیشتری اضافه خواهد کرد. این کار را نباید با تأیید مستقل صحت و اهمیت همهٔ نتایج یکی دانست: انتشار مجموعه، به‌تنهایی چنین تأییدی نیست.
سند ۲۹ سپتامبر ۲۰۲۶ گروه مشورتی ریاضیات و هوش مصنوعی، AGMAI، میان اثباتی که ریاضی‌دان مسئول آن را فهمیده و بررسی کرده و خروجی هوش مصنوعی که هنوز کسی آن را نفهمیده، تفاوت می‌گذارد. این گروه بر گزارش روشن قضیه و اثبات، اطلاعات مدل و پرامپت‌ها، محاسبات مصرف‌شده و وضعیت صورت‌بندی رسمی تأکید دارد.
این سند زمینهٔ علمی مورد ارجاع OpenAI است، نه ارزیابی اختصاصی نتایج ۶ اکتبر؛ مشورت با گروه نیز به معنای تأیید نتایج یا همهٔ روش‌های انتشار شرکت نیست.
هنوز دیدگاهی منتشر نشده است. اولین نفر باشید.