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