•SiTech AI Team
AlphaProof Code-მ Signal-ის კრიპტოგრაფიული ბირთვი ოთხ კვირაში გადაამოწმა
Google DeepMind-ის AlphaProof Code-მ Signal-ის კრიპტოგრაფიული ბირთვი ოთხ კვირაში მათემატიკურად გადაამოწმა, რაც ჩვეულებრივ წლები სჭირდება. AI სისტემამ რეალური კოდი შეამოწმა და ორი სპეციალურად ჩასმული ხარვეზი გამოავლინა.