عباس پالاش·۴ سال پیشاحتمال حل حدس کلاتز با SATآیا SAT که با اثباتی ۲۰۰ ترابایتی توانست مساله افراز ۳تاییهای فیثاغورثی را حل کند میتواند حدس تقریبا ۱۰۰ ساله کلاتز را نیز حل کند؟