لينسترال 1.5 (Leanstral 1.5): آفاق جديدة في هندسة الإثباتات الرياضية من Mistral AI
تعرف على نموذج Leanstral 1.5 مفتوح المصدر من Mistral AI، المتخصص في التحقق الرسمي وهندسة الإثباتات الرياضية بقدرات اكتشاف الثغرات في الأكواد البرمجية.
Lean 4
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.