اگر در حال حاضر برای حل معادلات پیچیده نمادین در پایتون یا راست (Rust) ساعتها منتظر میمانید، امروز باید نگاهی به اعداد جدید بیندازید. سرعت محاسبات شما میتواند تا ۱۰,۰۰۰ برابر افزایش یابد.
محاسبات نمادین (Symbolic Computation) — شبیه نوشتن یک فرمول کلی است که برای هر عددی جواب میدهد، نه اینکه فقط یک جواب خاص را حساب کند — سالهاست که با مشکل مقیاسپذیری میجنگید. به نقل از وبسایت رسمی Symbolica، نسخه ۲.۰ که در ۵ ژوئن ۲۰۲۶ منتشر شد، تلاش میکند شکاف میان ریاضیات سطح بالا و اجرای سریع سختافزاری را پر کند. همانطور که در تحلیلهای قبلی ما درباره بهینهسازی زبانهای سطح پایین اشاره کردیم، سرعت اجرا در سطح هسته (kernel) کلید حل این معماست.
این بهروزرسانی روی انعطافپذیری و دقت متمرکز است:
- قلابهای برنامهپذیر (Programmable Hooks): کاربر میتواند به نمادها «آموزش» دهد که چگونه خود را نرمالسازی کنند یا مشتق بگیرند.
- کامپایل در لحظه (JIT Compilation) — مثل مترجمی که جملات را همزمان با صحبت کردن ترجمه میکند تا زمان تلف نشود — اکنون از طریق کتابخانه
symjitبه پیشفرض پایتون تبدیل شده است. - حساب اعداد اعشاری مضاعف (Double-Float Arithmetic): ذخیره اعداد به صورت مجموع دو f64 که دقت ۳۱ رقم اعشاری میدهد و ۳ برابر سریعتر از روشهای رایج است.
- واژگان ریاضی گسترده: پشتیبانی بومی از توابع بِسل (Bessel)، زتای ریمان و پولایلوگاریتمها.
برای توسعهدهندگان، این تغییر یعنی تبدیل یک مرحله «نمونهسازی کند» به یک ابزار آماده برای محیط عملیاتی (Production). طبق اعلام تیم توسعه، استفاده از مقایسه بایت-اسلایس (byte-slice) برای مرتبسازی جملات و الگوریتمهای بهبودیافته GCD، دلیل اصلی این جهش عظیم در سرعت است.
گام بعدی شما
- بررسی راهنمای مهاجرت در وبسایت پروژه برای بهروزرسانی کدهای پایتون و راست.
- آزمایش توابع جدید ریاضی در مدلهای بهینهسازی عددی.
- دنبال کردن انتشار بکاِند GMP برای اجرای مدلها در محیطهای WASM.
اما این سرعت تنها نیمی از داستان است؛ تأثیر این دقت ۳۱ رقمی بر شبیهسازیهای فیزیک کوانتوم را در گزارش بعدی بررسی خواهیم کرد.
گفتگو