אודות Problem Forge

מה עשינו

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

הושקע מאמץ יוצא דופן כדי שהתחרות המשתמעת תהיה הוגנת ככל האפשר.

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

למה עשינו את זה

יש אמרה שמורים גדולים לא מלמדים, הם מעוררים מוטיבציה. אתר האתגרים הזה קיבל השראה מהרבה אתרי לימוד נהדרים שמציעים תרגילים לשיפור המיומנות בשפות תכנות, במבני נתונים ובאלגוריתמים. הם מעולים. המאגר המשותף של חידות, טריקים ואתגרים שזמין ברשת נבנה במשך עשרות שנים. רובו נוצר באהבה בידי מתנדבים. כמובן, אנשי מקצוע לא תמיד מסכימים על הערך היחסי של חידות כאלה לעומת הכישורים שהם משתמשים בהם כל יום; ובכל זאת, במשך תקופה מסוימת, חלק מהאתגרים הקטנים האלה שיקפו שאלות ראיון סטנדרטיות במקומות כמו Alphabet, Amazon, Apple... (הרשימה המלאה אולי כוללת תאגיד נדיר אחד או שניים ששמם לא מתחיל באות A.)

האתרים האלה בהחלט עזרו לאנשי מקצוע להתחיל, להתקדם ולהגיע רחוק.

כשזה לא עניין של חינוך או של כסף, זה יכול להיות עניין של מיומנות אמנותית. לא כולם משתמשים במשאבים האלה באותה דרך, ובכל זאת, השאיפה לפתרון אלגנטי הופכת בדרך כלל לחלק בלתי נפרד מהמשחק.

אגב, התחרויות המשתמעות הן בהחלט משחקים. זה אומר כיף. לשחרר. אולי קצת שובבות או גחמה. למי שחושב כמונו, יש שמחה בלגלות איך לנסח בעיה שהתשובה עליה היא קידוד Huffman בלי שיהיה ברור שהתשובה היא קידוד Huffman.

אנחנו מקווים שיש עוד יותר שמחה בהתרת קשרים וטריקים מהסוג הזה.

במובנים מסוימים, להסביר למה האתר הזה קיים זה פשוט כל כך: אנחנו אוהבים את הדברים האלה. את כולם. מכיוון שפתרון בעיות לשם בידור הוא תחביב נישתי משהו, לא היינו מצפים להסכמה בנקודה הזאת. בקצרה, אנחנו כן מצפים לקבלה זמנית, בחוסר רצון, של הטענות המעורפלות הבאות: האתרים האלה עדיין בעלי ערך רב מאוד (לפחות לחלק מאיתנו); משתתפים רבים עדיין נהנים ממה שהם מציעים; ועד לאחרונה ממש, ההיבטים התחרותיים של אתרים מסוימים אחרים הניעו רבים, באופן קבוע, לרכוש כישורים חדשים.

הנה דימוי שאולי תרצו להתעכב עליו: כשמישהו מביא מכונית ספורט למועדון האתלטיקה הקלה המקומי ומתחיל לשבור את כל השיאים המקומיים, זה נוטה לייאש קצת את האתלטים. אולי יש הבדל מורגש בין להחזיק Ferrari לבין להתאמן שנים לקראת מרתונים. בכל אופן, יש עוד תשובה אפשרית: אולי יצרנו את הזירה הזאת כי חובבי מכוניות ספורט צריכים סוג אחר של תחרות. (חשבו על ראלי Dakar, לא על הקפות סביב מסלול Formula One מטופח.)

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

זה פשוט לא הסגנון שלנו כאן; במקום זה, תכננו משחק.

(כן, "כשכל מה שיש לך זה פטיש, ..." ביקורת הוגנת. אנחנו מודים בזה.)

אפשר להשתמש במשאבים כאן כדי להעריך מודלי LLM באופן תחרותי.

אפשר להשתמש במשאבים כאן כדי להעריך באופן תחרותי מיומנויות של כתיבת הנחיות (prompting).

אם זה מתאים לכם, אתם מוזמנים להראות מה בני אדם מסוגלים לעשות בלי להשתמש במודלי LLM.

הערה משפטית: זוהי השוואת ביצועים אישית שמוצעת למטרות בידור בלבד. השוואת ביצועים רשמית לכל מטרה אחרת אולי תוצע בעתיד, אבל במהלך גרסת הבטא היא לא מומלצת בעליל.

מה עשוי להניע אתכם להשתתף

אין לנו מושג מה מניע אתכם באופן אישי. העולם עצום, וחיים בו הרבה אנשים עם מחשבות שונות. יש גושים ברוטב של הוויכוחים, והכול מבולגן מאוד. לפי חבר שלנו, כלכלן פוליטי, דעות נוטות להתקטב ולהתיישר סביב נקודות מחיר. צד אחד רוצה שהמחירים יעלו; צד אחר רוצה שירדו. (גם אנחנו לא לגמרי הבנו את ההסבר הזה.) בכל אופן, זה גרם לנו לחשוב על תפקיד של שופטים במשיכת חבל גדולה יותר, והגענו לזה:

אם יש לכם משהו להוכיח בעניין בינה מלאכותית, ייתכן שזה המקום לעשות את זה.

אפשר לשער קצת לגבי הקבוצות שמתגבשות. אולי אתם מאמינים שבקרוב בני אדם לא יצטרכו לגעת בשפות תכנות לעולם. אולי יש לכם עלבון בנוסח "ה־LLM שלי טוב יותר מה־LLM שלך" שמחייב תגובה, ואתם רוצים לשאול זירת דו־קרב.

או אולי אתם רואים בכתיבת הנחיות מיומנות, או חושבים עליה כעל סתם צורה אחרת של תכנות. אולי אתם חושבים שהמהנדסים המצליחים של מחר יצטרכו ללמוד להשתמש בכלים החדשים ביעילות.

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

יכולנו לדבר על כל נקודות המבט האלה בלי סוף. בואו נאסוף במקום זה כמה נתונים מוצקים.

מה עשוי להניע מישהו לעשות יותר

עוד קצת נפנופי ידיים על כך שאנחנו לא קוראי מחשבות. אם פתרון בעיות לשם בידור הוא תחביב נישתי משהו, אז חיבור בעיות לשם בידור הוא נישה בתוך נישה. בכל חודש נצטרך חומר חדש לבעיית החודש. כמו בכל פרויקט חדש, אנחנו צריכים עזרה גם בדברים קטנים יותר. תרגום מדויק נמצא בראש הרשימה הזאת. אנחנו לא מחפשים מתנדבים, אבל אנחנו מעוניינים אם אתם מעוניינים. פשוט שלחו לנו אימייל, ונקבע זמן לדבר.

לצערנו, לעולם אל תשלחו לנו רעיונות. סיבות משפטיות. כל חומר שנשלח אלינו נחשב, במשתמע, כאילו נמסר לנו. פשוט אל תטרחו. ברמה אחרת, תוכנית הפיתוח העתידית של האתר תפתח דרכים חדשות. תהיה הזדמנות לפרסם בעיות קשות ולהציע פרסים. אם תצליחו להבין מה באמת קורה כאן, אולי תראו סיבות רבות הרבה מעבר לבידור גרידא ליצור חידות שאחרים יפתרו.

ולבסוף, לא קונים סופגניות בחנות לחומרי בניין. ברור שאנחנו לא מרוויחים כסף. אז בבקשה אל תטרחו לנסות לעבוד עלינו.

מי מפעיל את האתר

את Problem Forge מפעילה חברת Problem Forge, LLC. זה הקרקס שלנו ואלה הקופים שלנו.

יצירת קשר: admin@problemforge.com.

אגב, תוכנת הבדיקה היא קוד פתוח (MIT). קובצי הבעיות והתשובות הם נחלת הכלל (CC0). שאר האתר קנייני.

קרדיטים

הלוגו הוא סדן שצייר Gerald G ופורסם לראשונה ב־Openclipart. לקחנו אותו מהקובץ "Anvil, labelled en.svg" ב־Wikimedia Commons, שם הוסיף Andy Dingley תוויות. בעמוד הבית הוא מוצג עם התוויות, מתורגמות. הלוגו הקטן בלי תוויות וחתוך. היוצר הקדיש את הציור לנחלת הכלל ברישיון CC0 1.0 Universal. אין חובה לתת קרדיט, אבל אנחנו נותנים אותו בכל זאת, ומודים.

ציורי הסולם ליד השלבים של כל בעיה מבוססים על ציור מקורי של Esme Susan Van Wieren, ‏© 2015, ועובדו ברשותה.

תמיכה

ב־Problem Forge תומכים השחקנים והספונסרים שלו. ראו תומכים.

מבולבלים?

חדשים כאן? קראו את מתחילים כאן. לקריאה נוספת על הבעיות הקלאסיות, ראו מקורות. חושבים להשתמש בבינה מלאכותית? קראו את על שימוש בבינה מלאכותית.