لينسترال 1.5 (Leanstral 1.5): آفاق جديدة في هندسة الإثباتات الرياضية من Mistral AI
تعرف على نموذج Leanstral 1.5 مفتوح المصدر من Mistral AI، المتخصص في التحقق الرسمي وهندسة الإثباتات الرياضية بقدرات اكتشاف الثغرات في الأكواد البرمجية.
Mistral AI
Leanstral 1.5: The New Frontier in Agentic Proof Engineering by Mistral AI
Discover Leanstral 1.5, Mistral AI's open-source model specializing in formal verification, Lean 4 proof engineering, and zero-day bug discovery.
Mistral OCR 4: أقوى أداة استخراج نصوص من الوثائق بدعم 170 لغة 2026
Mistral OCR 4 أحدث أداة OCR من Mistral AI تدعم 170 لغة بما فيها العربية، مع تحديد مواقع النصوص والنشر الذاتي على خوادم خاصة — مثالية للشركات في الخليج.
Mistral OCR 4: SOTA Document AI with 170-Language Support 2026
Mistral OCR 4 is the latest SOTA OCR tool from Mistral AI supporting 170 languages including Arabic, with bounding boxes and self-hosted deployment for enterprise document processing.