پژوهشگران مدلی با ۱۵۰ میلیون پارامتر توسعه دادند که هزینهی حل معماهای منطقی را نسبتبه رقبا بهشدت کاهش میدهد.