בינה מלאכותית עבור המתמטיקאי העובד
Description
בינה מלאכותית עבור המתמטיקאי העובד היא סדנה של ICMS הנמשכת שלושה ימים ב[אדינבורה](https://www.createwith.com/cities/edinburgh), המתרחשת בין ה-14 ל-16 בדצמבר 2026 במרכז בייוס. היא תבחן כיצד בינה מלאכותית משנה את המחקר המתמטי, מהוכחות אוטומטיות ופורמליזציה ועד יצירת השערות וניתוח מערכי נתונים מתמטיים גדולים. ## מתמטיקה פוגשת בינה מלאכותית מודלים בסיסיים אחרונים ייצרו מערכות חזקות למחשבה מתמטית, בעוד שלמידת מכונה חושפת מבנים חבויים בנתונים מתמטיים, כולל תופעות כמו ממורציות של עקומים אליפטיים. סדנה זו יוצרת מסגרת ממוקדת שבה יכולים חוקרים אקדמיים ותעשייתיים להעריך את ההתקדמות הזו, להדגים טכנולוגיות מתהוות ולדון היכן השיטות הנוכחיות עדיין אינן מספקות. התכנית תחקור תחומים כולל: - הוכחות תיאורטיות ומחשבה מתמטית מסייעת מבינה מלאכותית - פורמליזציה אוטומטית באמצעות עוזרי הוכחה כמו Lean - יצירת השערות נתמכת בבינה מלאכותית - למידת מכונה עבור מערכי נתונים מתמטיים גדולים - כלים לגילוי מדעי, כולל AlphaEvolve של DeepMind ו-Axolver ו-Axplorer של Axiom Maths - ההזדמנויות והמגבלות של מערכות בינה מלאכותית נוכחיות למתמטיקה ## הרצאות וקבוצות עבודה שיתופיות בצד הרצאות מוזמנות, המשתתפים ייקחו חלק בקבוצות עבודה מקצועיות המתמודדות עם אתגרים טכניים ופרויקטים שיתופיים. מפגשים אלה מיועדים לעזור למשתתפים לפתח גישות חדשות, לזהות בעיות משותפות ולהתחיל מחקר משותף, ולא פשוט לצפות בהדמיות. השילוב בין מצגות לעבודה קבוצתית ממוקדת הופך את האירוע הזה לרלוונטי במיוחד עבור אנשים החוקרים באופן פעיל כיצד בינה מלאכותית יכולה לתרום לפרקטיקה המתמטית. הסדנה מיועדת לחוקרים ולמקצוענים העובדים בתחומי **מתמטיקה, מדעי המחשב ותעשייה**. הדגש שלה על אתגרים טכניים, עוזרי הוכחה ושיתוף פעולה במחקר אומר שהיא מתאימה ביותר לקהל מקצועי או חוקרים ברמת מחקר ולא למי המחפש היכרות כללית עם בינה מלאכותית. ## מארגנים מדעיים… [להירשם לאירוע הזה](https://icms.ac.uk/activities/workshop/ai-workingmathematician)
Event location
Let your network know you're going
Share this event to start conversations, invite colleagues, and connect before it begins.