בינה מלאכותית טוענת להוכחה של הנחיית קומלוש
מאמר חדש שהועלה לארכיון arXiv טוען להוכחה של גבול מספרי מדויק לבעיית הסימון של קומלוש, בעיה פתוחה עשרות שנים בתורת הדיסקרפנסיה — כשההוכחה, לפי המחברים, התגלתה על ידי סוכן בינה מלאכותית בשם Odin. מדובר בפרה-פרינט שטרם עבר ביקורת עמיתים, אך הוא מצטרף לשורת מקרים שבהם מערכות AI מיוחסות בהוכחת תוצאות מתמטיות, ומעורר מחדש את שאלת אמות המידה לאימות הוכחות כאלה.
קבוצת חוקרים מהאוניברסיטה של פנסילבניה ("שנגטאו גואו", "אית'ן X. פאנג" ו"ג'ונוויי לו") פרסמה השבוע בarXiv מאמר הטוען להוכחה של גבול מספרי מדויק עבור "בעיית הסימון של קומלוש" (Komlós signing problem) — שאלה פתוחה מזה עשרות שנים בתורת הדיסקרפנסיה, ענף בקומבינטוריקה העוסק ביכולת לחלק אובייקטים לקבוצות מאוזנות. לפי המאמר, ההוכחה התגלתה על ידי מערכת בינה מלאכותית שמכונה בו "Odin Automatic AI Research Agent".
בעיית קומלוש שואלת: בהינתן אוסף וקטורים ממשיים שאורכם (הנורמה האוקלידית) אינו עולה על 1, האם אפשר תמיד לבחור לכל וקטור סימן — פלוס או מינוס — כך שסכום הווקטורים החתומים יהיה "קטן" בכל אחת מצירותיו, בלי תלות במספר הווקטורים או במימד המרחב שבו הם נמצאים. עצם קיומו של גבול כזה, אחיד וקבוע, הוא-הוא מה שההשערה טוענת. לפי המאמר, החוקרים מציגים גבול מפורש של $3\sqrt{2\pi}$ — כלומר קבוע מספרי מוחלט, שאינו תלוי לא במימד ולא בגודל אוסף הווקטורים.
כתוצאה נוספת מההוכחה, המאמר טוען כי כל מערכת קבוצות סופית שבה כל איבר שייך לכל היותר ל-t קבוצות, ניתנת לצביעה בשני צבעים כך שחוסר האיזון בכל קבוצה קטן מ-$3\sqrt{2\pi t}$ — תלות מסדר גודל של שורש ריבועי, בדיוק כפי שמנבאת השערת בק-פיאלה (Beck-Fiala), בעיה קרובה ומוכרת בתחום. המאמר, בן 18 עמודים, הוגש ב-10 בספטמבר 2026 תחת הקטגוריות קומבינטוריקה (math.CO) ואנליזה פונקציונלית (math.FA).
נקודה חשובה: מדובר בפרה-פרינט (preprint) — מאמר שהועלה לארכיון שיתוף מוקדם ועדיין לא עבר תהליך ביקורת עמיתים (peer review) בכתב עת מקצועי. ככל הנראה, כמו בכל הוכחה מתמטית חדשה ומורכבת, ובפרט אחת שמיוחסת לתהליך אוטומטי, קהילת המתמטיקאים תצטרך לבחון את הפרטים לעומק — שורה אחר שורה — לפני שהתוצאה תיחשב מבוססת ומאומתת.
המשמעות הרחבה יותר של הפרסום נוגעת לתפקיד ההולך וגדל של מערכות AI במחקר מתמטי טהור. עד כה, רוב הדוגמאות הבולטות לתרומת AI למתמטיקה עסקו בסיוע לחוקרים אנושיים — איתור דפוסים, בדיקת השערות או ניסוח טיעונים חלקיים. מאמר שבו ההוכחה עצמה מיוחסת במפורש לסוכן אוטומטי, ולא לצוות האנושי שערך וניסח אותה, הוא סוג אחר של טענה, ומעלה שאלה מעשית: כיצד אמורה הקהילה המדעית לאמת ולסקור תוצאה שמקורה בתהליך שאינו שקוף באותה מידה כמו הסקה אנושית. הפרסום כבר עורר עניין ותשומת לב גם מחוץ לקהילה האקדמית הצרה, כחלק מדיון רחב יותר על יכולות מודלים מתקדמים בפתרון בעיות מתמטיות מהשורה הראשונה.