التفاصيل
1. إثبات نموذج الذكاء الاصطناعي Gemma3 (سبتمبر 2025)
نظرة عامة: أصبح نظام DeepProve الخاص بلاغرانج أول نظام يولد إثباتًا بدون معرفة لنموذج الذكاء الاصطناعي Gemma3 من جوجل. هذا يسمح بالتحقق التشفيري من مخرجات النموذج على الشبكة دون الكشف عن البيانات الأساسية.
قام الفريق بتوسيع إطار الإثباتات ليشمل بنية Gemma3 المتقدمة، والتي تتضمن آليات مثل Grouped Query Attention وRotary Positional Encoding. تطلب ذلك إنشاء مكونات إثبات جديدة ومودولارية تتوافق مع نماذج اللغة الكبيرة الحديثة والفعالة.
ما يعنيه هذا: هذا خبر إيجابي لـ $LA لأنه يبرز ريادة المشروع التقنية في مجال الذكاء الاصطناعي القابل للتحقق. كما يوسع من استخدامات شبكة لاغرانج لتشمل أحدث تقنيات الذكاء الاصطناعي، مما قد يزيد الطلب على خدمات توليد الإثباتات ورمز LA.
(Lagrange Foundation)
2. إزالة تكرار التنسورات (سبتمبر 2025)
نظرة عامة: هذه التحسينات تكتشف تلقائيًا وتزيل التنسورات المكررة أثناء عملية توليد الإثبات، مما يقلل بشكل كبير من تكلفة الحسابات واستهلاك الذاكرة.
في نماذج مثل Gemma3، تُعاد استخدام بعض البنى الرياضية عبر طبقات متعددة. سابقًا، كان يتم الالتزام بكل نسخة بشكل منفصل، مما يستهلك وقتًا وموارد. النظام الجديد يلتزم بالبيانات المشتركة مرة واحدة فقط.
ما يعنيه هذا: هذا خبر إيجابي لـ $LA لأنه يجعل الشبكة أسرع وأرخص في الاستخدام. انخفاض تكلفة الإثبات يجعل الذكاء الاصطناعي القابل للتحقق أكثر عملية للمطورين، مما قد يزيد من نشاط الشبكة وفائدة رمز LA.
(Lagrange Foundation)
3. هيكلية جديدة للرسم البياني وطبقة Einsum (سبتمبر 2025)
نظرة عامة: أعاد الفريق بناء الهيكل الداخلي للرسم البياني في DeepProve لتحسين الموثوقية، وقدم طبقة موحدة للتعامل مع جميع العمليات الخطية بشكل أكثر كفاءة.
توفر الهيكلية الجديدة أساسًا أوضح للإثباتات الموزعة والمتوازية. تحل طبقة Einsum محل عدة مكونات متخصصة، مما يبسط الكود ويزيل خطوات حسابية غير ضرورية، مما يسرع من توليد الإثباتات.
ما يعنيه هذا: هذا خبر إيجابي لـ $LA لأنه يخلق أساسًا تقنيًا أكثر قوة وقابلية للتوسع. شبكة إثبات أسرع وأكثر موثوقية تكون في وضع أفضل للتعامل مع زيادة الطلب، مما يدعم فائدة الرمز على المدى الطويل كوقود للشبكة.
(Lagrange Foundation)
الخلاصة
تُظهر تحديثات كود لاغرانج الأخيرة مسارًا واضحًا نحو ذكاء اصطناعي قابل للتحقق يكون قابلًا للتوسع وفعالًا وعمليًا، مما يعزز بنيتها التحتية الأساسية. يبقى السؤال: كيف ستترجم هذه التحسينات التقنية إلى زيادة في تبني المطورين واستخدام الشبكة خلال الأشهر القادمة؟