شرکت PSI با استفاده از مدل‌های OpenAI و Claude به پنج مسئله حل‌نشده در فیزیک کوانتومی پرداخت
شرکت پژوهشی فیزیک Physical Superintelligence (PSI) که می‌گوید بیش از ۵۸ میلیون دلار سرمایه جذب کرده است، در ۲۶ اکتبر ۲۰۲۶ در شبکه اجتماعی ایکس اعلام کرد که به راه‌حل‌هایی برای پنج مسئله دیرینه در نظریه اطلاعات کوانتومی دست یافته است. طبق صفحه پژوهشی این شرکت، هر یک از این پنج نتیجه با یک مقاله، صورت‌بندی رسمی در زبان Lean و کدهای راستی‌آزمایی همراه است.
مخزن انتشار نتایج PSI مدل‌های هوش مصنوعی به‌کاررفته در هر پروژه را مشخص می‌کند. در هر پنج مورد، نام مدل‌هایی از OpenAI و Anthropic آمده است و GPT-6-Astra متعلق به OpenAI در تمام پنج پروژه حضور دارد. این اعلامیه در همان روزی منتشر شد که OpenAI گفت سامانه هوش مصنوعی این شرکت فرضیه زمان نمایی را رد کرده است.
نکته اصلی: از نگاه نویسنده، شیوه انتشار نتایج PSI نشان می‌دهد که این شرکت مدل‌های پیشرفته هوش مصنوعی را ورودی‌هایی قابل جایگزینی در فرایند پژوهش می‌داند. در هر نتیجه، هم مدل‌های OpenAI و هم مدل‌های Anthropic معرفی شده‌اند و کار صورت‌بندی‌های Lean میان عامل‌های هوش مصنوعی در Codex و Claude Code تقسیم شده است.
PSI چه چیزی اعلام کرد؟
نتایج اعلام‌شده به پنج مورد از فهرست مسائل حل‌نشده کوانتومی (Open Quantum Problems) مربوط می‌شوند: شماره‌های ۲، ۱۲، ۲۷، ۳۸ و ۴۳. PSI می‌گوید پژوهشگران این شرکت با همکاری «سامانه پژوهشی هوش مصنوعی ما» به این نتایج رسیده‌اند و مخزن انتشار نیز «نحوه استفاده از هوش مصنوعی در هر مورد را مستند می‌کند». صفحه پژوهشی این مجموعه به تاریخ ۲۳ اکتبر ثبت شده است.
در مسئله OQP 12، PSI می‌گوید ثابت کرده است که هیچ انتخابی از مشاهده‌پذیرهای موضعی نمی‌تواند نامساوی‌های CHSH را در فاصله‌ای محدود میان دو ناحیه از خلأ نقض کند؛ این در حالی است که دو ناحیه، حتی در فاصله‌های دلخواه، همچنان درهم‌تنیده باقی می‌مانند. در مسئله OQP 43 نیز این شرکت نمونه نقضی دوجزئی ساخته است که ادعای امکان تحقق هر فرایند علّی از این نوع به‌وسیله یک فرایند برگشت‌پذیر بزرگ‌تر با بُعد متناهی را رد می‌کند.
البته همه نتایج به حل کامل مسئله مربوط نمی‌شوند. در مورد OQP 2، PSI نشان می‌دهد که نمی‌توان از سه نسخه از برخی حالت‌های ورنر، جفت‌های بل را تقطیر کرد. این شرکت تصریح می‌کند: «پرسش درباره تعداد دلخواهی از نسخه‌ها همچنان حل‌نشده است.»
چه چیزی در ایکس منتشر شد؟
Today Physical Superintelligence PBC is announcing solutions to five long-standing problems in quantum information theory.
https://psi.inc/research/oqp-batch-2026/
Thread 👇
شرکت Physical Superintelligence PBC در ۲۶ اکتبر ۲۰۲۶، ساعت ۲۳:۴۴ (به وقت UTC)، در ایکس اعلام کرد که «راه‌حل‌هایی برای پنج مسئله دیرینه در نظریه اطلاعات کوانتومی» ارائه می‌کند و به صفحه پژوهشی خود پیوند داد. در صفحه پژوهشی، از این دستاوردها با عنوان «نتایج جدید» یاد شده است.
Physical Superintelligence launched in September with a $58 million seed. Today they announced five new results on open problems in quantum information theory, with a paper and Lean formalization for each of Open Quantum Problems 2, 12, 27, 38, and 43.
اندرو کوران در ساعت ۰۱:۰۲ روز ۲۷ اکتبر به وقت هماهنگ جهانی، پست PSI را بازنشر کرد و نوشت که این شرکت در سپتامبر با جذب ۵۸ میلیون دلار سرمایه اولیه فعالیت خود را آغاز کرده است. او همچنین پنج مسئله OQP با شماره‌های ۲، ۱۲، ۲۷، ۳۸ و ۴۳ را فهرست کرد و گفت برای هر یک مقاله‌ای همراه با صورت‌بندی رسمی در Lean منتشر شده است.
PSI از چه مدل‌های هوش مصنوعی استفاده کرد؟
در راهنمای هر یک از پنج نتیجه، بخشی با عنوان «منشأ و استفاده از هوش مصنوعی» وجود دارد. در مجموع، PSI مدل‌های GPT-6-Astra، GPT-5.6، GPT-5.6 Pro و GPT-5.6-Sol از OpenAI و مدل‌های Claude Fable 5.1، Claude Opus 4.8، Claude Opus 5 و Claude Opus 5.5 از Anthropic را برای کارهای ریاضی معرفی کرده است.
بر اساس این راهنماها، صورت‌بندی‌های رسمی Lean را عامل‌های هوش مصنوعی تحت هدایت PSI نوشته‌اند. در هر پنج پروژه از GPT-6-Astra در محیط Codex استفاده شده و در چهار پروژه نیز Claude Opus 5.5 از طریق Claude Code به کار رفته است. نام پژوهشگران PSI، از جمله دیوید تورتورئان، نینگ بائو و ایان مک‌کورمک، به‌عنوان افراد مسئول صحت هر مقاله درج شده است.
یکی از نتایج مستقیماً بر یافته‌ای از OpenAI تکیه دارد. PSI در توضیح مسئله OQP 38 می‌گوید، همان‌طور که در یک پیش‌چاپ اخیر OpenAI گزارش شده، در حالت کلی دو نگاشت PPT کافی نیستند؛ این شرکت اعلام کرده است که ثابت می‌کند تعداد 2(d − 1) نگاشت از این نوع کفایت می‌کند.
PSI چه شرکتی است؟
PSI خود را یک شرکت عام‌المنفعه معرفی می‌کند که هدفش ساخت «پیشرفته‌ترین آزمایشگاه پژوهش فیزیک در جهان» است. طبق وب‌سایت شرکت، بیش از ۵۸ میلیون دلار سرمایه با راهبری Breakthrough Energy Ventures جذب شده و بیش از ۲۵ پژوهشگر و مهندس در آن فعالیت می‌کنند. اندرو کوران نیز در ایکس نوشته است که شرکت در ماه سپتامبر با جذب ۵۸ میلیون دلار سرمایه اولیه راه‌اندازی شده است.
در وب‌سایت PSI آمده است: «دانشمندان انسانی مأموریت‌ها را هدایت می‌کنند و فیزیک‌دانان مجازی پژوهش را انجام می‌دهند.» این شرکت زیرساخت فیزیکی هوش مصنوعی را نخستین میدان آزمایش رویکرد خود معرفی می‌کند.
ارتباط با گزارش‌های دیگر
این رسانه پیش‌تر گزارش داده بود که Anthropic مدعی شده است Claude نیز فرضیه زمان نمایی را رد کرده است. تاریخ این ادعا ۱۶ اکتبر بود؛ همان تاریخی که OpenAI برای ادعای مشابه خود اعلام کرده بود. در ۲۶ اکتبر نیز گزارشی درباره ادعای OpenAI مبنی بر رد فرضیه زمان نمایی به‌دست هوش مصنوعی این شرکت منتشر شد. در ماه سپتامبر هم این رسانه به صورت‌بندی رسمی آخرین قضیه فرما در زبان Lean با کمک Claude پرداخته بود.
برداشت ساختاری از این دستاوردها
از نگاه نویسنده، مهم‌ترین ویژگی روش انتشار PSI، نحوه افشای جزئیات فرایند پژوهش است: راهنمای هر نتیجه نام مدل‌های استفاده‌شده را مشخص می‌کند، توضیح می‌دهد کدام عامل‌های هوش مصنوعی صورت‌بندی Lean را نوشته‌اند و پژوهشگران مسئول صحت مقاله را معرفی می‌کند.
این دستاوردها در همان هفته‌ای اعلام شده‌اند که OpenAI و Anthropic هر دو مدعی شدند مدل‌های داخلی‌شان فرضیه زمان نمایی را رد کرده‌اند. به این ترتیب، اثبات‌های انجام‌شده با کمک هوش مصنوعی هم از سوی خود آزمایشگاه‌های توسعه‌دهنده مدل‌ها و هم از سوی شرکتی که از این مدل‌ها در پژوهش استفاده می‌کند، مطرح شده‌اند.
از این منظر، مسئله OQP 38 نمونه‌ای از انباشته‌شدن نتایج پژوهشی است: کران ارائه‌شده از سوی PSI بر یافته‌ای تکیه دارد که شرکت آن را به یک پیش‌چاپ اخیر OpenAI نسبت می‌دهد.
PSI، پنج نتیجه درباره مسائل حل‌نشده کوانتومی، ۲۰۲۶
«پژوهشگران PSI با همکاری سامانه پژوهشی هوش مصنوعی ما به نتایج جدیدی درباره پنج مسئله حل‌نشده در نظریه اطلاعات کوانتومی دست یافته‌اند.»
سه پیامد
برای پژوهشگران فیزیک: طبق فایل README مخزن PSI، پوشه هر نتیجه شامل یک مقاله و یک صورت‌بندی رسمی با Lean 4 است. پوشه lean/ نیز وابستگی‌های مشخص و تثبیت‌شده خود را دارد و می‌توان آن را به‌صورت یک پروژه مستقل کپی کرد.
برای شرکت‌های توسعه‌دهنده مدل‌ها: راهنماهای نتایج PSI نشان می‌دهند که GPT-6-Astra از OpenAI در هر پنج پروژه و مدل‌های Claude از Anthropic نیز در هر پنج پروژه به کار رفته‌اند؛ این شمارش بر اساس بررسی راهنماهای منتشرشده انجام شده است.
برای سرمایه‌گذاران: وب‌سایت PSI از جذب بیش از ۵۸ میلیون دلار سرمایه با راهبری Breakthrough Energy Ventures خبر می‌دهد و زیرساخت فیزیکی هوش مصنوعی را نخستین میدان آزمایش این شرکت معرفی می‌کند.
نگاه Business Engineer
این گزارش با چارچوب تحلیلی Business Engineer با عنوان چهار مزیت رقابتی هوش ارتباط دارد.
در این چارچوب، «مزیت رقابتی راستی‌آزما» به مزیتی گفته می‌شود که از طریق یادگیری تقویتی با سیگنال‌های پاداش ویژه هر حوزه (RLVR) ایجاد می‌شود.
از نگاه نویسنده، صورت‌بندی رسمی در Lean می‌تواند در ریاضیات نقش چنین سازوکار راستی‌آزمایی را ایفا کند و PSI آن را همراه هر نتیجه منتشر می‌کند. این چارچوب در ژوئیه ۲۰۲۶ منتشر شده و در آن به PSI اشاره‌ای نشده است.
چه چیزهایی هنوز اثبات نشده‌اند؟
در مخزن PSI، از پنج مقاله به‌عنوان پیش‌چاپ یاد شده است. فایل‌های Lean گزاره‌های رسمی تدوین‌شده برای این مقالات را بررسی می‌کنند و راهنماها مشخص می‌کنند که این گزاره‌ها با کدام نسخه از دست‌نوشته‌ها مطابقت دارند. پست PSI در ایکس از واژه «راه‌حل‌ها» استفاده می‌کند، اما صفحه پژوهشی شرکت آن‌ها را «نتایج جدید» می‌نامد. افزون بر این، نتیجه مربوط به OQP 2 تنها سه نسخه از حالت‌های مورد بررسی را پوشش می‌دهد. اسناد PSI که نویسنده بررسی کرده است، به هیچ ارزیابی مستقل بیرونی اشاره نمی‌کنند.
جمع‌بندی
PSI می‌گوید فرایندهای پژوهشی با کمک هوش مصنوعی به نتایجی درباره پنج مسئله حل‌نشده در نظریه اطلاعات کوانتومی منجر شده‌اند و برای هر نتیجه، مقاله و صورت‌بندی رسمی Lean منتشر شده است. مخزن این شرکت در هر پنج مورد مدل‌هایی از OpenAI و Anthropic را معرفی می‌کند و پژوهشگران مشخصی از PSI را مسئول صحت هر مقاله می‌داند.
یادداشت درباره منابع: این گزارش بر پایه صفحه پژوهشی PSI، فایل README و راهنماهای نتایج در مخزن oqp-batch-2026 در GitHub، وب‌سایت شرکت و پست‌های PSI و اندرو کوران در ایکس تهیه شده است. همه این منابع در ۲۷ اکتبر ۲۰۲۶ بررسی شده‌اند و گزارش‌های پیشین همین رسانه نیز در آن لحاظ شده‌اند. نویسنده مقالات را شخصاً بررسی نکرده و اثبات‌های Lean را اجرا نکرده است. همچنین با PSI تماس گرفته نشده است.
منابع: PSI، پنج نتیجه درباره مسائل حل‌نشده کوانتومی؛ مخزن oqp-batch-2026 شرکت PSI در GitHub، شامل README و راهنماهای نتایج؛ وب‌سایت PSI؛ پست PSI در ایکس، ۲۶ اکتبر ۲۰۲۶؛ پست اندرو کوران در ایکس، ۲۷ اکتبر ۲۰۲۶.