ההאקר לשיפור עצמי חוזר על עצמו #5 - אימות פורמלי במתמטיקה

www.rsihouse.ai: - חדר מלא באנשים שעובדים על RSI - כל יום ראשון - נבנה עם הכלים והשיטות המחקריות האחרונות - נולד מ-MIT והארוורד. 135+ האקרים. - שואפים לשבור את הנורמה. שואפים גבוה יותר. מאיצים אינטליגנציה. עקוב אחר לוח השנה שלנו לאירועים נוספים. נושא השבוע: אימות פורמלי במתמטיקה בשבועות האחרונים ראינו התקדמות משמעותית בבעיות הקשות ביותר במתמטיקה, כולל הפתרונות הצרים לבעיות נווייר-סטוקס וקונספציה של ג'ייקוביאן. ​השבוע אנו מזמינים אותך להריץ לולאות חוזרות כדי להתמודד עם בעיות בלתי פתורות במתמטיקה. כל בעיה מדורגת לפי קושי ומאושרת דרך אטלס הקושי של בעיות אולאם. הלולאה כבר מסתובבת. יותר מ-80% מהקוד של אנתרופיק נכתב על ידי קלוד. ג'ף דין עזב את גוגל לאחר 30 שנים כדי לבנות את הלולאה למדע. קביעת הכיוונים היא התפקיד שנותר לבני אדם. החלק הקשה: סקר של ליליאן וונג על הנדסת חבלים טוען שהדרך הקרובה ל-RSI עובר דרך החבל במקום משקל-כתיבה מחדש. חבל-meta משופר את עצמי נמצא בהישג יד. צוואר הבקבוק הוא הערכות, כי לולאה טובה רק כמו המעריך שלה. בחדר: חוקרים מ-MIT, הארוורד, סטנפורד, DeepMind ומטה. משווק בשיתוף פעולה עם Autolab, מועדון סונדי. ------ נבנה סוכנים שישפרו את עצמם באופן חוזר, או נלמד מודלים באמצעות עקרונות אוטוריסרץ. כל יום ראשון. ✨לוח זמנים✨ 10:00 היכרות 10:15 הצגת רעיונות ומיון צוותים 14:00 צ'ק אין #1 וארוחת צהריים 20:00 צ'ק אין #2 והצגות ✨השבוע אנחנו מארחים בנדיבות את Antler✨ Antler היא חברת השקעות שלב מוקדמת שמתמקדת ביוזמים במעמד הקמת הרעיון ובקהילה של יזמים ומפעילים טכנולוגיים. התושבים נמצאים בקהילה עם כל מה שהם צריכים כדי לחקור מה הבא, לבנות ולצמוח במהירות המהירה. למידע נוסף על Antler ולהגיש בקשה להיות תושב 👉 https://www.antler.co/location/us ✨מה זה סונדי✨ סונדי היא הקהילה הגדולה ביותר של האקרי AI שנולדה מהארוורד ומ-MIT, כעת בונה קהילת RSI בשורש כאן בסן פרנסיסקו. כל שבוע אנו חוקרים את הגבולות של אינטליגנציה עצמית חוזרת. כסונדי, ערכנו יותר מ-130 האקרים ברצף במהלך 2.5 השנים האחרונות - אחד לכל יום ראשון ללא הפסקה.✨מה זה אוטולאב✨ פלטפורמה לאוטוריסרץ. Autolab.ai מריצה את הניסויים ה-ML שלך - סוכנים מתכננים, מבצעים ומעריכים אלפי הפעלות הכשרה במקביל, על ה-GPUs שלך, נגד ההערכות שלך. ✨המשימה שלנו בבית RSI✨ "להאיץ את קצב התפשטות האינטליגנציה" ✨העקרונות שלנו בבית RSI✨ בניית: המטרה של בית ה-RSI היא להתכנס ולבנות מיזמים אמיצים בהתאם לחלום שלנו. כל יום ראשון. שילוח: לצאת מהlocalhost. לפרוס את הידע שלך כמודל מאומן, או סוכן שנגיש ברשת, או פוסט טכני מפורט. תנאי השתתפות: על ידי הצטרפות לאירוע זה, אתה מסכים לטפל ולשמור על הזהירות של הדברים הבאים: להשאיר את החדר כפי שמצאת אותו. כל הלוחות, כיסאות ושולחנות חייבים להיות נקיים וממוסדים כפי שמצאת אותם. כל הזבל חייב להיות בפח. אל תיתן לשום אדם זר להיכנס לבניינים מאחוריך שבהם מתרחש סונדי. אם אתה רואה מישהו שאינך מכיר ומי נראה חשוד, אנא הודע לנו מיד. השתמש רק במקומות המיועדים להאק. אם אינך בטוח - שאל בצורה מפורשת. היה מכבד ומתחשב כלפי אחרים שעשויים להיות בבניין והם לומדים או עובדים. - אם אינך בטוח - תמיד שאל. אתה מסכים לכללים אלו על ידי הגעתך לאירוע.