האק לשיפור עצמי רRecursive - אימות פורמלי במתמטיקה

שבוע אחד. בעיות בלתי פתורות במתמטיקה. תוצאות שנבדקו על ידי מכונה. הצטרפו לתחרות עולמית למימוש פורמלי של מתמטיקה, תקפו בעיות פתוחות, ויצרו תוצאות ציבוריות ניתנות לאימות עם כל שילוב של הסקת מסקנות אנושיות ובינה מלאכותית. בשבועות האחרונים שמענו על חדשות בינלאומיות אודות התקדמות הבינה המלאכותית באתגרים הקשים ביותר במתמטיקה - בעיית פרס מילניום של נוייר-סטוקס והקונjectורה של יעקוביאן. השבוע אנו מזמינים אתכם ללמוד ולהתקדם עם הכלים והכישורים שמתחילים להתגבש בעידן החדש של המתמטיקה - לולאות ריקורסיה בבינה מלאכותית. ע будем לעבוד על 6 בעיות פתוחות במתמטיקה - כל אחת מדורגת בהתאם לקושי שלה ומומשה דרך האטלס לקושי בעיות פתוחות של אולם. האק הזה פתוח לכל מי שלמד מתמטיקה מתקדמת כחלק מהתואר האוניברסיטאי שלו, כולל מתמטיקה, פיזיקה, הנדסה ומדעי המחשב. ה-6 בעיות הפתוחות מוגדרות כאן - https://app.autolab.ai/lists/alejandrozu/openmathUlam אטלס קושי בעיות פתוחות - https://www.unsolvedmath.com\/Full תיאור מלא של התחרות וחוקים - https://rsihouse.ai/openmath בחדר: חוקרים מ-MIT, הרוורד, סטנפורד, DeepMind ומטה. המפגש בשיתוף עם RSI House, Autolab, סונדאי קלאב.------ ✨באופן אישי ווירטואלי ✨ אירוע פרונטלי נערך יום אחד ביום ראשון 27 בספטמבר במעבדות החדשנות של הרוורד. התחרות הווירטואלית מתקיימת באינטרנט, במקביל וקישור זום יינתן לכל המשתתפים המתקבלים. ✨לוח זמנים✨ ✨מה זה סונדאי✨ סונדאי היא קהילת האקרים בבינה מלאכותית הגדולה ביותר שנולדה בהרווארד ומ-IIT. כסונדאי, ערכנו 130+ האקים ברציפות במשך 2.5 השנים האחרונות - אחת לכל יום ראשון מבלי להפסיק.✨מה זה אוטולאב✨ פלטפורמה למחקר אוטומטי ושיפור עצמי ריקורסיבי. Autolab.ai הולך לעבוד על ניסויי למידת מכונה שלך - סוכנים מתכננים, משיקים ומשקלים אלפי ריצות אימון במקביל, על ה-GPUs שלך, מול ההערכה שלך. ✨המשימה שלנו ב-RSI House ✨ "להאיץ את קצב התפשטות האינטליגנציה" תנאים להשתתפות: בהצטרפותכם לאירוע זה אתם מסכימים לדאוג ולשים לב לדברים הבאים: להשאיר את החדר כפי שמצאתם אותו. כל הלוחות, הכסאות והשולחנות חייבים להיות נקיים ומסודרים כפי שמצאתם אותם. כל הזבל חייב להיות בפח. אל תתנו לשום זר להיכנס לכל בניין מאחוריכם שבו מתקיים האירוע. אם אתם רואים מישהו שאינכם מזהים ונראה חשוד, אנא יידעו אותנו מיד. שימוש רק במקומות הייעודיים להאק. אם אינכם בטוחים - שאלו במפורש. להיות מכבדים ומתחשבים עם אחרים שעשויים להיות בבניין וללמוד או לעבוד. - אם אינכם בטוחים - תמיד תשאלו. אתם מסכימים לכללים אלו על ידי הגעה לאירוע.