Claude סייעה לחוקרים לאתר עקום אליפטי מדרגה 30 — קפיצה בתחום שבו הקידום הקודם ארך עשור

החוקרים לבנט אלפוגה (Levent Alpöge) ואבה האוול (Ava Howell) דיווחו כי בעזרת Claude, מודל השפה של Anthropic, הצליחו לאתר עקום אליפטי (elliptic curve) מדרגה (rank) 30. הפרסום עלה לפורום r/singularity ברשת Reddit, ולפיו הקפיצה הקודמת בתחום — ממדרגה 28 למדרגה 29 — ארכה כעשר שנים.

מהי "דרגה" של עקום אליפטי

עקומים אליפטיים הם אובייקט מרכזי בתורת המספרים, והדרגה (rank) שלהם מבטאת, בגסות, את מספר הפתרונות הרציונליים הבלתי-תלויים של המשוואה המגדירה את העקום. זהו מושג מוכר במתמטיקה, הקשור בין השאר להשערת בירך וסווינרטון-דייר (Birch and Swinnerton-Dyer), אחת מבעיות המילניום שעליהן הוכרז פרס של מיליון דולר. ככל שהדרגה המבוקשת גבוהה יותר, כך קשה יותר למצוא דוגמה קונקרטית לעקום שמממש אותה, וברוב המקרים נדרשים חיפושים חישוביים נרחבים במרחב פתרונות עצום. מכאן שבעבר, כל שיפור בשיא הדרגה הידועה נחשב מאורע נדיר, שלעיתים נמתח על פני שנים רבות.

מה בדיוק ידוע על ההישג

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

למה זה חשוב

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

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