קובע חסם הוכחות טבעיות קוונטיות המסביר מדוע קשה להוכיח חסמים תחתונים חזקים יותר בהכנת מצבים. מראה כי תחת הנחות קריפטוגרפיות סטנדרטיות, תכונות טבעיות לא יכולות להוכיח חסמים סופר-פולינומיים כנגד רמות קבועות בהיררכיית המג'יק.
@informaq-he.bsky.social@informaq-he.bsky.social