האלגורייתם שפיצחה את חידת האלף השניםבמשך מאות שנים, חידת פא 14, בעיית לוגיקה מפורסמת, העסיקה מתמטיקאים ברחבי העולם. החידה עוסקת בבני משפחה: אב, בנים, בנות ונכדים, אך לא ידוע מי קשור למי. בני המשפחה מספקים רמזים על מערכות היחסים שלהם, כגון, "יש לי יותר בנים מבנות" או "יש לי אותו מספר נכדים בשני המינים".בשנת 2018, חוקרים באוניברסיטת פרינסטון הצליחו לפצח את החידה באמצעות שימוש באלגוריתם למידת מכונה בשם SAT (ביעות סיפוק). SAT לוקח קבוצה של כללים ומנסה למצוא פתרון שמקיים את כל הכללים. החוקרים הזינו את הרמזים שסיפקו בני המשפחה ל-SAT, והאלגוריתם עבר על טריליוני אפשרויות לפני שמצא פתרון.הפתרון לחידת פא 14 היה מורכב, אך הגיוני: האב יש לו שלושה בנים ושתי בנות. לכל בן יש אח אחד ואחות אחת. לכל בת יש שלושה אחים ושתי אחיות.ההצלחה של סאט בפיצוח חידת פא 14 הדגימה את הכוח של למידת מכונה בתחום הפתרון הלוגי. אלגוריתמים מסוג זה יכולים לעבד כמות עצומה של מידע ולמצוא פתרונות שעשויים להיות קשים מדי לפתרון ידני.חידת פא 14, למרות היותה בעיה מרתקת בפני עצמה, תרמה גם להתקדמות מאוחרת יותר בתחום הגיון ודפוסי חלוקה. הפתרון של SAT הראה כיצד ניתן להשתמש באלגוריתמים כדי לפתור בעיות מורכבות שיכולות לקחת שנים לפתור ביד.
האלגוריתם שפיצח תעלומה בת אלף שנה אפילו שיילוק לא היה מאמין לזה
האלגורייתם שפיצחה את חידת האלף השניםבמשך מאות שנים, חידת פא 14, בעיית לוגיקה מפורסמת, העסיקה מתמטיקאים ברחבי העולם. החידה עוסקת בבני משפחה: אב, בנים, בנות ונכדים, אך לא ידוע מי קשור למי. בני המשפחה מספקים רמזים על מערכות היחסים שלהם, כגון, "יש לי יותר בנים מבנות" או "יש לי אותו מספר נכדים בשני המינים".בשנת 2018, חוקרים באוניברסיטת פרינסטון הצליחו לפצח את החידה באמצעות שימוש באלגוריתם למידת מכונה בשם SAT (ביעות סיפוק). SAT לוקח קבוצה של כללים ומנסה למצוא פתרון שמקיים את כל הכללים. החוקרים הזינו את הרמזים שסיפקו בני המשפחה ל-SAT, והאלגוריתם עבר על טריליוני אפשרויות לפני שמצא פתרון.הפתרון לחידת פא 14 היה מורכב, אך הגיוני: האב יש לו שלושה בנים ושתי בנות. לכל בן יש אח אחד ואחות אחת. לכל בת יש שלושה אחים ושתי אחיות.ההצלחה של סאט בפיצוח חידת פא 14 הדגימה את הכוח של למידת מכונה בתחום הפתרון הלוגי. אלגוריתמים מסוג זה יכולים לעבד כמות עצומה של מידע ולמצוא פתרונות שעשויים להיות קשים מדי לפתרון ידני.חידת פא 14, למרות היותה בעיה מרתקת בפני עצמה, תרמה גם להתקדמות מאוחרת יותר בתחום הגיון ודפוסי חלוקה. הפתרון של SAT הראה כיצד ניתן להשתמש באלגוריתמים כדי לפתור בעיות מורכבות שיכולות לקחת שנים לפתור ביד.
