תחנת מחקר אוטונומית שוברת שיאים במתמטיקה

סביבת המחקר The Station הראתה שאגנטים של AI ממשפחות מודלים שונות יכולים לשתף פעולה בלי מתאם מרכזי ולהשיג תוצאות שמקדמות את הספרות המתמטית הקיימת. במערכת שפותחה כעולם פתוח מרובה־אגנטים, כל אגנט בוחר כיוון מחקר, מריץ ניסויים, כותב ממצאים ובונה ספרייה משותפת, תהליך שמדמה מעבדה אנושית אבל בקצב ובהיקף אחרים. המאמר, שזמין כפרה־פרינט (arXiv:2608.23691), מתאר 12 בעיות בנייה מקטלוג AlphaEvolve ועוד שני מקרי מבחן נוספים.

איך זה עובד בלי מנהל פרויקט

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

חמישה שיאים חדשים בבעיות פתוחות

התוצאות החדשות מול הספרות הקודמת מופיעות בחמש בעיות: משפחה אינסופית חדשה של קבוצות קייקיה (Kakeya) מעל שדות סופיים; קונפיגורציות נשיקה (kissing configurations) מדויקות של 604 נקודות במימד 11; שיאים חדשים בבעיית מחט קייקיה בדידה ובבעיית אי־הוודאות של סימן; חסם תחתון משופר משמעותית לבעיית החפיפה המינימלית של ארדש (Erdős); ומשפחות אינסופיות חדשות למספרי רמזי של ספרים (Book Ramsey numbers). כל הישג כזה עבר אימות בקוד שפורסם לצד המאמר.

לא רק מספרים, גם הוכחות וניתוח

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

קוד פתוח, דיאלוגים גולמיים, אפס ציטוטים בינתיים

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