اليوم، في انطلاق expMath @DARPA، أطلقنا OpenGauss، وهو أداة مفتوحة المصدر وأحدث لأدوات التشكيل التلقائي للمطورين والممارسين لتسريع التقدم في الحدود. إنه أقوى وأسرع وأكثر كفاءة من حيث التكلفة من البدائل الجاهزة. في موقع FormalQualBench، الذي يعمل بوقت مستقطع لمدة 4 ساعات، يتفوق على وكيل أرسطو في @HarmonicMath دون حد زمني. يمكن لمستخدمي OpenGauss التفاعل معه بقدر ما يريدون أو بقدر ما يريدون، ويمكنهم بسهولة إدارة العديد من الوكلاء الفرعيين الذين يعملون بالتوازي، ويمكنهم توسيع أو تعديل / التأمل في OpenGauss لأنه مفتوح المصدر بشكل متساهل. تم تطوير OpenGauss بالتعاون الوثيق مع المشغلين لأدوات الذكاء الاصطناعي مفتوحة المصدر الرائدة لنظام Lean. اقرأ التقرير وجربه: