אתר בעיות ארדש משנה כיוון: גל של הוכחות AI בלי הסבר דחק את הקהילה האנושית

אחד האתרים שהפכו בשנה האחרונה למדד לא רשמי ליכולות המתמטיות של בינה מלאכותית מודיע על שינוי כיוון. בפוסט שפרסם ב-6 באוקטובר 2026 תחת הכותרת "Erdosproblems.com Succumbs to the AI Onslaught" (בתרגום חופשי: "האתר נכנע למתקפת ה-AI") כתב המתמטיקאי תומס בלום, מייסד האתר, שהשימוש הציבורי העיקרי באתר כיום הוא "פרסום הוכחות שנוצרו בידי AI, לעיתים קרובות בלי כל ניסיון להסביר אותן". לדבריו, המטרה היא לרשום טענת קדימות, שלדבריו היא "חסרת משמעות יותר ויותר".

"זה שונה מאוד ממה שדמיינתי, ואני לא רוצה לנהל אתר שעושה את זה", כתב בלום.

מאגר שהפך לזירת מבחן

האתר מרכז בעיות פתוחות שהציב פאול ארדש, מתמטיקאי הונגרי פורה במיוחד שהשאיר אחריו אוסף גדול של שאלות במתמטיקה. בלום השיק אותו ב-28 במאי 2023 עם קצת יותר מ-200 בעיות. כיום יש בו 1,221 בעיות, יותר מ-9,000 תגובות וכמעט 2,000 משתמשים רשומים. מספר המבקרים הייחודיים נע בדרך כלל בין 10,000 ל-25,000 ביום.

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

הצד השני של ההתקדמות

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

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

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

"לא פותחים מסעדה בבית מטבחיים"

בלום מבסס את ההחלטה על עיקרון שהוא שואל מהמסה של פו-שן לו, "Why Do We Need Human Mathematicians Anymore?": בני האדם צריכים לעזור לאנושות לשגשג. בלום מנסח גרסה משלו: האתר צריך לעזור לקהילה האנושית שמתעניינת במתמטיקה בסגנון ארדש, ורוצה לחשוב עליה ולהבין אותה, לשגשג.

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

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

למה זה חשוב

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