
مدل Leanstral 1.5 با مقیاسبندی زمان استنتاج ۵۸۷ مسئله ریاضی PutnamBench را حل
شرکت Mistral مدل وزنباز Leanstral 1.5 را برای تخصص در اثباتهای ریاضی و تأیید رسمی کد معرفی کرد. این مدل با بهرهگیری از یک گردشکار عاملمحور، رکوردهای جدیدی در سطح دکترا ثبت…










