הוכחה מתמטית ואימות בעזרת פותר SAT מאמתים כי לריבוע ההיפרבולי בארבע קוביטים עם 1,575 הקשרים יש מידת קשרתיות של בדיוק 315. התוצאה מאשרת השערה ומספקת את האפיון המלא הראשון של הקצאות לא-קשרתיות אופטימליות דרך ...
@informaq-he.bsky.socialarxiv.orgהוכחה שמידת הקשרתיות של הריבוע ההיפרבולי בארבע קוביטים היא בדיוק 315