צוף בר אור
前往频道在 Telegram
ברוכים הבאים לערוץ הטלגרם שלי! צוף, 30, לקראת סיום תואר שני בדאטה סאיינס וקודח מקצועי בטוויטר: https://twitter.com/tsoofbaror אעדכן פה בכל פעם שאעלה משהו משמעותי לטוויטר, או כל דבר מעניין אחר. בתאכלס, יותר מעניין כאן מבטוויטר שלי.
显示更多3 259
订阅者
无数据24 小时
-177 天
-1830 天
数据加载中...
吸引订阅者
七月 '26
七月 '26
+48
在0个频道中
六月 '26
+122
在0个频道中
Get PRO
五月 '26
+314
在2个频道中
Get PRO
四月 '26
+57
在0个频道中
Get PRO
三月 '26
+41
在0个频道中
Get PRO
二月 '26
+110
在0个频道中
Get PRO
一月 '26
+34
在1个频道中
Get PRO
十二月 '25
+56
在0个频道中
Get PRO
十一月 '25
+245
在0个频道中
Get PRO
十月 '25
+80
在0个频道中
Get PRO
九月 '25
+15
在0个频道中
Get PRO
八月 '25
+34
在1个频道中
Get PRO
七月 '25
+16
在0个频道中
Get PRO
六月 '25
+64
在0个频道中
Get PRO
五月 '25
+64
在0个频道中
Get PRO
四月 '25
+68
在0个频道中
Get PRO
三月 '25
+32
在0个频道中
Get PRO
二月 '25
+55
在0个频道中
Get PRO
一月 '25
+49
在0个频道中
Get PRO
十二月 '24
+22
在0个频道中
Get PRO
十一月 '24
+30
在0个频道中
Get PRO
十月 '24
+32
在0个频道中
Get PRO
九月 '24
+65
在1个频道中
Get PRO
八月 '24
+76
在0个频道中
Get PRO
七月 '24
+52
在1个频道中
Get PRO
六月 '24
+91
在4个频道中
Get PRO
五月 '24
+452
在3个频道中
Get PRO
四月 '24
+32
在0个频道中
Get PRO
三月 '24
+103
在0个频道中
Get PRO
二月 '24
+37
在0个频道中
Get PRO
一月 '24
+1 396
在0个频道中
| 日期 | 订阅者增长 | 提及 | 频道 | |
| 30 七月 | +2 | |||
| 29 七月 | +1 | |||
| 28 七月 | +1 | |||
| 27 七月 | +1 | |||
| 26 七月 | +2 | |||
| 25 七月 | +3 | |||
| 24 七月 | +3 | |||
| 23 七月 | +1 | |||
| 22 七月 | +2 | |||
| 21 七月 | +2 | |||
| 20 七月 | 0 | |||
| 19 七月 | +1 | |||
| 18 七月 | +2 | |||
| 17 七月 | +1 | |||
| 16 七月 | +3 | |||
| 15 七月 | +2 | |||
| 14 七月 | +1 | |||
| 13 七月 | +3 | |||
| 12 七月 | +4 | |||
| 11 七月 | +1 | |||
| 10 七月 | 0 | |||
| 09 七月 | +1 | |||
| 08 七月 | +1 | |||
| 07 七月 | +2 | |||
| 06 七月 | +1 | |||
| 05 七月 | +2 | |||
| 04 七月 | +1 | |||
| 03 七月 | +4 | |||
| 02 七月 | 0 | |||
| 01 七月 | 0 |
频道帖子
אחרי כיוונונים, חשיבה, התאמות ובדיקות - קודקס יכול להיות סופר-עובד-QA ויזואלי.
הוא מריץ לי עכשיו תרחישים, מקליק על כפתורים, הולך db לראות שנוצרות שורות, בודק בלוגים שהכל טוב - מקצה לקצה.
זה לא משהו שעבד לי a few codexes ago.
| 2 | הרבה תגובות מעניינות על הפוסט הזה. אגיב במרוכז, אבל לפני: | 555 |
| 3 | אוהו איזה שבוע. עאלק מחר. טוב. דברים רלוונטיים קרו, בואו נעשה סדר.
אלכס קארפ:
״האנשים האלה [בעלי חברות, מנהלים, לקוחות של חברות הAI] כועסת מאד. הם אומרים: אני משלם על טוקנים שלא מייצרים שום ערך. החברות האלה גונבות את האלפא [היתרון העסקי] של העסק שלי.״
ואז, הציטוט הזה, גם ממנו:
״יש סיבה שאלה שמוכרים טוקנים לא מוכנים למכור את הערך שהם נותנים אלא פשוט את הטוקנים עצמם״ (נחזור לזה)
ג׳נסן מנכ״ל אנווידיה, במניפסט אחרי שפתח חשבון X:
"מודלים פתוחים מרחיבים את הגישה לכלכלת ה-AI..״, ״מודלים פתוחים מחזקים את התחרות…״, ״נותנים ללקוחות שליטה, הלקוחות יודעים שהם לא יהיו נעולים לספק יחיד של מודלים״.. וכו וכו.
סאטיה נדלה, מנכ״ל מייקרוסופט:
"מודלים פתוחים חיוניים לבריאות של אקוסיסטם הAI, לתחרותיות האמריקאית ולביטחון הלאומי האמריקאי״
יש סיפור חדש בסיליקון וואלי, והוא לא במקרה.
הסיפור של הAI הפך להיות משהו שמזכיר לי כמו תסביך גיאופוליטי. לכל חברה יש איזה שיבר שהיא יושבת עליו, אינטרסים וניסיון לספר סיפור שבו מהפכת הAI בעצם נתפרה כולה עבורה.
בהתחלה זה היה פשוט. המועמדים הם OpenAI, אנת׳רופיק, גוגל. הן מהפכת הAI, הן המודלים, הן הכל. בOpenAI ואנת׳רופיק זה הCore Business. בגוגל זה לא, אבל יש להם חטיבת AI מספיק ענקית כדי שתהיה בסדר גודל מתאים. וסינים. הרבה סינים, זולים.
הבעיה באירוע הזה היא שאין פה באמת תעשייה אחת. או יותר נכון, מקור הכנסה אחד. בואו נסדר את זה ביחד:
מנויים - 20$, 200$, קודקס, קלוד קוד.
טוקנים, API - שילוב של 2 מקורות הכנסה. הראשון זה נטו למכור את הטוקנים לחברות שמשתמשות בהם לתוכנה, והשני בעצם הרחבה או תשלום פר טוקן למנויים של מתכנתים בחברות גדולות.
רישיונות אנטרפרייז - מנויים יחודים לחברות, מוסדות חינוך וכו
נשאלת השאלה, איפה בתמהיל הזה יש מודלים פתוחים? איפה התחרות.
ובכן, בטוקנים בוודאות. אפילו אזהר להגיד שמודלי הבחירה בAPI כשיש Workload גדול, בדרך כלל אחרי שעושים את הגרסה הראשונה עם OpenAI או אנת׳רופיק הופכים להיות סינים.
רישיונות אנטרפרייז - לא בכיוון. אף אחד לא יכניס ספק סיני לארגון שלו, ואני לא חושב שבכלל יש להם כאלה דברים מחוץ לסין.
מנויים? Well, פה אני ממש שולף מהמותן, אבל אני בספק שמישהו מכם משתמש בKimi Code או בZCode. גם כאן, אני לא חושב שיש פה איזה איום מהותי.
ולפני שנתקדם, בואו נחזור לציטוט הזה:
״יש סיבה שאלה שמוכרים טוקנים לא מוכנים למכור את הערך שהם נותנים אלא פשוט את הטוקנים עצמם״
זה כמובן, הציטוט הכי מטומטם ששמעתי בחיי. חברות מוכרות טרקטורים כדי שהחקלאי ייצר ערך. הם מוכרות לו את הטרקטורים, לא מבקשות נתח מהתותים שלו. ככה העולם עובד. אפשר להשתמש גם גרוע בטרקטורים. מדובר על חברות שמוכרות כלי עבודה.
בואו נשבור שניה את אשלית הOpen Source, כאילו יש אלטרנטיבה. נגיד הKimi K3 המהולל. להחזיר מכונה שיכולה להריץ אותו ל5-6 יוזרים במקביל, במהירות סבירה תעלה, בחישוב על מפית, יגיע לבערך 15,000 דולר בחודש. זה בהנחה ויש לכם את הידע והיכולת בתוך הארגון להרים תשתית שכולל מודל, harness, ביזור ומה לא. וזה כמובן לא 5-6 יוזרים במקביל.
מודלי שפה עובדים במתמטיקה של scale. ככה או ככה, אתם תפנו לספק חיצוני כדי לקבל את הטוקנים שלכם בארגון, אם אתם לא ארגון שעוסק בזה. אני מתכוון כמובן לFrontier, לא מודלים שהם cost-effective למשימות ספציפיות.
אבל זה זול! לא? לא. Kimi k3 עולה בAPI בערך כמו GPT 5.6 Terra וחכם ממנו אולי בקצת. זה לא פער שמצדיק מעבר מחברה אמריקאית אמינה ויציבה למודל סיני.
בקיצור. בולשיט. יש מודלים פתוחים, יש אימוץ, אבל שום דבר לא באמת השתנה עכשיו.
אז מה קרה? מה זה הגל הזה של ההייט למודלים הסגורים\הילול האופן סורס?
ובכן, בעיני זה ממש פשוט:
כסף. החברות השונות משקיעות ים-ים-ים כסף בתשתיות. יצא Fable, ועדיין אין גל אבטלה בעולם. המודלים מתחזקים, אבל ההשפעה הכלכלית שלהם עוד לא ממש נמדדת. השווקים מתחילים להבין את זה. צריך את הסיפור הבא: הכל טוב, כולם עומדים להריץ מודלי Open Source על התשתיות שלנו (אהמ, אנווידיה, מייקרוסופט והענן שלה).
שליטה. מה אלכס קארפ קשור? מה פלנטיר קשורה? או, פה יש לי ניחוש טוב. בעולם העסקים יש מונח מפורסם שנקרא Commoditize your complement. או בעברית: ״הפוך את המוצרים המשלימים שלך למוצר גנרי״. בגדול, אם הדבר היקר והמיוחד הוא המודל, OpenAI היא המוצר, ואתה המשלים. אם מודל השפה הוא סתם רכיב בר החלפה, הערך והיחודיות נמצאים אצלך.
כולם רוצים AI. פלנטיר עושה תוכנה. קארפ לדעתי מרגיש שכל חברות הAI פשוט מוכרות מוח, בלי גוף שאשכרה יכול לגרום לו לעשות דברים. במילים שלו, paying for tokens that generate no value. כי איפה הvalue? במוצרי התוכנה של פלנטיר כמובן.
בגדול, לכל מי שלא מנצח או בכלל מתחרה במירוץ הAI, כלומר הוא לא אנת׳רופיק, OpenAI, גוגל, xAI וכו יש אינטרס ברור לגרום לכולם לחשוב שהתעשייה הזו הופכת לתעשיה של מוצרים גנריים ולא מיוחדים. למי יש מוצרים מיוחדים? לי כמובן!
וחברות הAI? הן משיבות אש. איך? עם דרמה. דיברנו בערוץ על הסיפור של הסוכן של OpenAI עם האגינגפייס. על כל הדרמה של הממשל האמריקאי עם Fable. חברות הAI משיבות אש, ומספרות שהמוצר שלהם הוא לא פחות ממפלצת שצריכה שלשלאות אחרת תהרוס את העולם.
בקיצור, נעצור כאן.
הנקודה היא - הפסקנו לשמוע חדשות, כל מה שאנחנו שומעים זה תעמולה. חברות הAI מכוונות לIPO כמובן, השקעות הCapex (תשתיות מחשוב) גרמו לזה שגוגל רבעון ראשון מזה מי יודע כמה אשכרה עם תזרים מזומנים שלילי וכולם בלחץ מזה שהבועה הזו אולי תתפוצץ.
זהו, אעצור כאן.
לילה טוב!
https://t.me/AITsoof | 900 |
| 4 | יש עכשיו סוג של קמפיין תקשורתי מאד מעניין בהקשר של הOpen Source. אם עושים חיבור של הנקודות - אלכס קארפ מנכ״ל פלנטיר, ג׳נסן של אנווידיה, סאטיה של מייקרוסופט ועוד ועוד יש קצת תחושה של שינוי כיוון באסטרטגיה.
עוד על זה מחר | 1 773 |
| 5 | אופוס 5 בחוץ | 1 767 |
| 6 |  מחפשים עבודה בארסנל? | 1 823 |
| 7 |  רק 1400 דולר וסריקת תלת מימד של השיניים (ולגור בארה״ב) מפרידים בינכם לבין המכשיר הזה, שהוא סוג של פלטה שיושבת בפה ומאפשרת שליטה במקלדת ודיבור אפילו בלחישה לקלוד קוד שלכם.
תקנו? :)
https://x.com/augmentaltech/status/2079961051383410784?s=46 | 1 766 |
| 8 | גם כאן, יש לנו את המקרה הזה של:
בעיה דטרמיניסטית, יש מרחב חיפוש סופי שבו מסתתר הפתרון.
בינארית - מספיק פשוט למצוא דוגמה נגדית אחת.
ואותו ״חיפוש על-אנושי במרחב האפשרויות״ שמודל שפה יכול לעשות.
אגב, זה לא שרק במציאת-דוגמה-נגדית מודלי שפה יכולים להצטיין.
יש שפה מתמטית בשם LEAN. בגדול, היא הופכת הוכחה מתמטית שכתובה בטקסט ארוך ומתפלפל לסוג של ״אלגוריתם״ עם כללים ברורים שמחשב יכול לאמת אם ההוכחה שגויה או נכונה.
מה שאומר שברגע שמודל יכול לכתוב הוכחה בLEAN (לא דוגמה נגדית, ממש הוכחה למשהו) אפשר לבדוק את הנכונות שלה בקלות - ולתת לו פידבק.
אין שום דבר מעורפל, היעד ברור ובר בדיקה.
בכל פעם שאתם נתקלים בטענה שAI הולך להשתלט על X, זה מה שצריך לחפש. אם אין את זה, מדובר בקשקוש.
השנים הקרובות במתמטיקה יהיו מאד מעניינות. | 1 657 |
| 9 | סתם דוגמא, אם אני אומר ש״כל הפילים אדומים״, מספיק למצוא פיל אחד לא אדום כדי להפריך את הטענה. לוגיקה פסיכומטרית כזו. אז כזה בדיוק. | 1 499 |
| 10 | למי מכם שלא שוחה במתמטיקה, יש השערות מסוג ״בכל המקרים שX, אז Y״. בהרבה מקרים להוכיח מאד קשה, אבל להפריך כאילו ״קל״, כל מה שצריך הוא למצוא דוגמה אחת, מקרה אחד, בו יש X ואין Y - והפרכנו את הטענה.
וזה בדיוק מה שfable 5 עשה. | 1 453 |
| 11 |  לפי יומים עובד אנת׳רופיק העלה פוסט בטוויטר של ״היי, בזמן הגמר של המונדיאל נתתי לfable לנסות להפריך משהו והוא הצליח״. המשהו הזה הוא השערה מ1884 שעד לפני יומים-שלושה לא נפתרה. | 1 474 |
| 12 |  עוד דבר שקרה השבוע - שמעתם הפריך את הjacobian conjecture?
מה שמעניין, זה שזה בעצם מתחבר בדיוק למה שנכתב פה למעלה על סייבר.
הנה הסבר | 1 415 |
| 13 | רואה המון דיווחים על זה שOpenAI מתכננים להקים ״מרכז״ בישראל.
זה לא מו״פ או משהו כזה. יותר חטיבה עסקית לעבודה מול סטארטאפים, Customer Success.
הדיווח המקורי מגיע מכלכליסט אם הבנתי נכון:
https://www.calcalist.co.il/calcalistech/article/bjkonpo4me
אבל אין למיטב ידיעתי עוד אישור רשמי של OpenAI. | 1 507 |
| 14 | (אה כן, ויצא ג׳מיני פלאש 3.6 למי שחוגג) | 1 256 |
| 15 | קודם כל, תקרית PR נפלאה.
סיפור הסייבר הוא סיפור ענק. העובדה שאפשר להריץ את המודלים האלה בגרסה הכי קשוחה שלהם בלי מגבלות, ואשכרה לבקש מהם לתקוף בגדול צריכה לגרום לכל המחוקקים בעולם לא לישון בלילה.
סייבר הוא משחק של המון שכל - אבל גם המון זמן ומשאבי בדיקה, שעם מודלי שפה מתקדמים כאלה עולים כלום ביחס לצבא של תוקפים אנושיים.
צבא, אנרגיה, תשתיות תחבורה, בתי חולים, משרדים ממשלתיים - אפשר כנראה להפיל הכל ולפרוץ הכל.
אני רוצה רגע להדגיש משהו.
הרבה רואים אותי בתור הסקפטי. זה שכותב הרבה שצריך לא ליפול להייפ, שזה לא כזה משוגע, וכו, וכו.
זה נכון. בהרבה תחומים.
סייבר הוא תחום שלא נופל תחת הקטגוריה הסקפטית שלי, מסיבה מאד פשוטה:
1. הוא דטרמיניסטי
2. הוא בינארי
נסביר.
דטרמיניזם - התוצאה של התקפת סייבר היא משהו שניתן לשחזר ולא תלוי, במרבית המקרים, בשום אלמנט אקראי או אנושי. מדובר על פעולה חיפוש, במרחב חיפוש עצום, של משהו. כלומר, יש מספר בר-מניה של דברים שאפשר לנסות, ויכול להיות שאחד מהם יעבוד. בר-מניה לא אומר ריאלי לניסיון כל אחד מהם. מה שכן, אם נהיה ממש ציניים ונגיד - ״מודלי שפה? סתם מכונות לזיהוי דפוסים בטקסט!״. ובכן, מה היא פרצת סייבר אם לא דפוס וניסיון למצוא דברים דומים או קרובים רעיונית מפריצת סייבר ידועה למערכת X במערכת Y. בקיצור, מדובר על משימות שכאילו נתפרו למה שמודל שפה יודע לעשות.
בינאריות - או שהצלחתי, או שלא. מה זה מזכיר? בדיוק את האימון שמודלי שפה עוברים. זה לא ״מזכיר״, זה בדיוק האימון עם הפרסים בסוף. קח משימת סייבר. יש קריטריון הצלחה סופר ברור. הצלחת? יופי. לא הצלחת? לא יופי.
מהסיבה הזו אני מרגיש נכון לכתוב משהו בסגנון של ״המחוקקים צריכים לא לישון בלילה״. כי סין. כי צפון קוריאה. כי מי יודע מתי אחד המודלים הגדולים ידלוף מהמעבדות של OpenAI אוו אנת׳רופיק. ידלוף או יגנב.
וכאן, באמת השמיים הם לא הגבול. יש מספר בלתי נגמר של תוכנות ומערכות שאפשר לאמן עליהן מודלי שפה.
זה, איך אומרים אנשי גיאו פוליטיקה, מגה-אירוע בעיני. | 1 518 |
| 16 | https://openai.com/index/hugging-face-model-evaluation-security-incident/
זה סיפור די משוגע, כמובן, עם אינטרס גדול לספר אותו כדי לתת רמז לכמה גם המודלים של OpenAI הם מפלצות סייבר בדיוק כמו פייבל 5.
בקצרה, במהלך בדיקות של GPT 5.6-Sol ו״מודל חדש ואפילו חזק יותר״, כולם עם פחות מגבלות סייבר* לטובת הבחינה, קרה אירוע.
*הכוונה, שהם פחות מאומנים להיות ״מסרבים״ לבקשות שיכולות לכלול פריצות, שבירת אבטחה וכו.
בקיצור, הם מנסים לבדוק את ״היכולות המקסימליות שלהם״, ולכן הריצו אותם בלי מסווגים שמסתכלים על מה שהם עושים ומנסים לתפוס אותם על חם, מסווגים שקיימים בגרסאות שאנחנו מקבלים. כדי לעשות את זה, הם משתמשים בסביבה ״מבודדת מאד״ שיש לה גישת רשת אך ורק להתקנת כל מיני חבילות קוד אם המוד רוצה.
המודל, כדי להצליח במשימה שניתנה לו, הצליח לפרוץ החוצה את הסביבה החסומה שלו, לפרוץ לHuggingFace ולהשיג את התשובות ישירות מהשרת של HuggingFace. המודלים אשכרה מצאו Zero Day (כלומר, פרצת אבטחה שאף אחד לא ידע עליה) במנגנון הזה שמאפשר רק התקנה של חבילות והשיגו גישה לרשת.
אחרי שהשיגו את הגישה, המודלים חשבו בעצמם על זה שהפתרונות כנראה יהיו בHuggingFace, ולכן פשוט מצאו דרך לפרוץ לHuuggingFace עם Zero Day נוסף, ואני מצטט:
In one example, the model chained together multiple attack vectors, including using stolen credentials and zero-day vulnerabilities to find a remote code execution path on the Hugging Face servers.
וכמובן שOpenAI כותבים על מה הם עושים מעכשיו וובלה בלה בלה... | 1 527 |
| 17 | היי. זהו. סיימתי עם הprivate time והגיע הזמן לחזור לתפעל את הערוץ, דברים קורים בלי הפסקה. מאז שיצאתי להפסקה קצרה - מודלים חדשים של GPT, פייבל 5 הולך, חוזר, ואז מאיים ללכת ובסוף לא הולך, קימי חדש טורף את הקלפים (וכרגיל, לא באמת), Thinking Machines של מירה מוראטי עם מודל open source אמריקאי גדול, חיבור של דמיס הסביס (גוגל דיפמיינד, ג׳מיני) על רגולציה בAI וכמובן שLoop Engineering is dead ועכשיו אתם לא בעניין אם אתם לא עושים.. Graph Engineering?
בקיצור, חוזרים לשגרה ולעניינים.
קצב ההתקדמות והחדשות בAI דומה לפוליטיקה יותר מאשר למדע וטכנולוגיה. זה הזיה. ליטרלי כל יומים משהו חדש.
בקיצור, היי שוב, נתעדכן השבוע בכל מיני דברים מעניינים | 1 649 |
| 18 | היי חברים, יודע שנעלמתי - המון דברים בחיים (כולם טובים).
נחזור בקרוב, קרו הרבה דברים שאפשר לקשקש עליהם | 2 780 |
| 19 | וכמובן שהגרסה הגדולה ביותר חזקה יותר ממיתוס | 3 426 |
| 20 |  5.6 בחוץ (בערך) | 3 397 |
