۲۱۰٬۹۱۶ پرسوجو در ثانیه؛ این عددی است که منطق قطعی در ۳۱ ژوئیه ۲۰۲۶ از طریق معماری جدیدی به نام PRISMA (پروتکل استدلال، استنتاج و معماری حافظه معنایی) به آن دست یافت. این نمایش ثابت میکند که زبان پایتون میتواند در مقیاسهای عظیم عمل کند و همزمان توهمات مدل زبانی بزرگ (LLM) — که شبیه کتابخانهداری است که میلیاردها صفحه را خوانده و حالا با همان لحن کتابها جواب میدهد — را در اجرای قوانین سختگیرانه کسبوکار کاملاً حذف کند.
بسیاری از عاملهای هوش مصنوعی (AI Agents) امروز با مشکل «زمینه قدیمی» دستوپنجه نرم میکنند؛ جایی که حقایق بهروزرسانیشده در یک پایگاهداده برداری (Vector Database) باقی میمانند و باعث میشوند مدل با اطلاعات جدید تناقض داشته باشد. همانطور که در تحلیل قبلی ما دربارهی بهینهسازی مدلهای محلی برای آزمونهای ICT اشاره کردیم، صنعت در حال گذار از بازیابی ساده به سمت درگاههای حافظه تأییدشده است. PRISMA این مشکل را با تعریف حافظه به شکل یک گراف وابستگی رسمی، به جای ابری احتمالی از بردارها حل میکند.
به نقل از گزارش فنی dev.to، این موتور از CPython 3.14 با یک گراف هش SHA-256 درونحافظهای و حالت SQLite WAL استفاده میکند. این رویکرد در مدیریت دادهها، تداوم یافتن تلاشهایی است که پیش از این در بهینهسازی پهنای باند حافظه برای کاهش مصرف برق LLMها دیده بودیم تا کارایی سختافزاری به حداکثر برسد. طبق مستندات، این معماری در چندین حوزه کلیدی از سیستمهای احتمالی پیشی میگیرد:
- توان عملیاتی (Throughput): ۲۱۰٬۹۱۶ پرسوجو در ثانیه (QPS) برای جستوجوهای حافظه گرم با پیچیدگی $O(1)$.
- تأخیر (Latency): تضمین سطح خدمات (SLA) برای P99 کمتر از ۷.۶ میکروثانیه. این سرعت خیرهکننده، پاسخی عملی به تنگنای پهنای باند حافظه است که سالها به عنوان علت فیزیکی کندی استنتاج در مدلهای زبانی شناخته میشد.
- صحت (Accuracy): نرخ صفر درصد توهم (Hallucination) — یعنی وقتی مدل با اطمینان چیزی میگوید که وجود ندارد — از طریق منطق گزارهای درجه اول.
- بهینگی: تنها ۱.۰۲ کیلوبایت برای هر شیء دانش، که برای ۱۰۰ هزار گره به حدود ۱۲۱ مگابایت رم نیاز دارد.
PRISMA از طریق یک آداپتور حافظه تأییدشده مستقیماً با LangChain یکپارچه میشود. وقتی حقیقتی در موتور ابطال میشود، PRISMA بهطور خودکار تمام پیشفرضهای وابسته را از پنجره متنی (Context Window) — مثل میز کاری که جا برای چند ورق دارد، نه برای کل کتابخانه — حذف میکند. این سازوکار یک «الگوی حفاظ» ایجاد میکند که در آن قوانین کسبوکار در سرعت زیر-میکروثانیه ارزیابی شده و سپس حقایق تأییدشده به عنوان دستورات سیستمی به مدل تزریق میشوند. در این راستا، راهکارهای جایگزین نظیر ذخیرهسازی حافظه در دیسک توسط Reame نیز تلاش کردهاند تا هزینههای استنتاج را از طریق تغییر لایهی ذخیرهسازی کاهش دهند.
برای توسعهدهندگان، این فناوری فرض بنیادین درباره یادگیری محدودیتهای سخت قانونی یا پزشکی از طریق مهندسی پرامپت (Prompt Engineering) — هنر سؤال درست پرسیدن برای گرفتن بهترین جواب — را تغییر میدهد. با انتقال مدیریت حقیقت به یک موتور نمادین، مدل زبانی دیگر منبع حقیقت نیست، بلکه تنها یک رابط زبان طبیعی برای یک هسته قطعی است. این کار بهطور مؤثر «استدلال» (نمادین) را از «بیان» (احتمالی) جدا میکند.
گام بعدی شما
- برای اجرای آزمایشهای استنتاج بدون توهم، به مستندات Live Swagger در PRISMA مراجعه کرده و کلید API خود را دریافت کنید.
- معماری فعلی خود را بررسی کنید تا ببینید کدام بخش از قوانین کسبوکار شما نیاز به جایگزینی با منطق قطعی دارد.
- بررسی کنید که آیا انتقال حافظه از حالت برداری به گراف وابستگی میتواند هزینههای GPU شما را کاهش دهد یا خیر.
اما داستان سختافزاری این تحول حتی شگفتانگیزتر است — به تحلیل ما دربارهی تراشههای Blackwell مراجعه کنید.
گفتگو