Key points are not available for this paper at this time.
تم حل حالة تتكون من 20 متغيرًا لمشكلة القابلية الحقيقية الثلاثية (3-SAT) على جهاز كمبيوتر DNA بسيط. تم العثور على الإجابة الفريدة بعد بحث شامل لأكثر من مليون (2(20)) احتمال. قد تكون هذه المشكلة الحسابية الأكبر التي تم حلها حتى الآن بوسائل غير إلكترونية. تبدو مشاكل بهذا الحجم خارج النطاق العادي للحساب البشري غير المدعوم.
درس برايتش وزملاؤه (الجمعة) هذا السؤال.