צוף בר אור
Open in Telegram
ברוכים הבאים לערוץ הטלגרם שלי! צוף, 30, לקראת סיום תואר שני בדאטה סאיינס וקודח מקצועי בטוויטר: https://twitter.com/tsoofbaror אעדכן פה בכל פעם שאעלה משהו משמעותי לטוויטר, או כל דבר מעניין אחר. בתאכלס, יותר מעניין כאן מבטוויטר שלי.
Show more3 262
Subscribers
No data24 hours
-207 days
-1330 days
Data loading in progress...
Similar Channels
Tags Cloud
Incoming and Outgoing Mentions
---
---
---
---
---
---
Attracting Subscribers
August '26
August '26
+1
in 0 channels
July '26
+50
in 0 channels
Get PRO
June '26
+122
in 0 channels
Get PRO
May '26
+314
in 2 channels
Get PRO
April '26
+57
in 0 channels
Get PRO
March '26
+41
in 0 channels
Get PRO
February '26
+110
in 0 channels
Get PRO
January '26
+34
in 1 channels
Get PRO
December '25
+56
in 0 channels
Get PRO
November '25
+245
in 0 channels
Get PRO
October '25
+80
in 0 channels
Get PRO
September '25
+15
in 0 channels
Get PRO
August '25
+34
in 1 channels
Get PRO
July '25
+16
in 0 channels
Get PRO
June '25
+64
in 0 channels
Get PRO
May '25
+64
in 0 channels
Get PRO
April '25
+68
in 0 channels
Get PRO
March '25
+32
in 0 channels
Get PRO
February '25
+55
in 0 channels
Get PRO
January '25
+49
in 0 channels
Get PRO
December '24
+22
in 0 channels
Get PRO
November '24
+30
in 0 channels
Get PRO
October '24
+32
in 0 channels
Get PRO
September '24
+65
in 1 channels
Get PRO
August '24
+76
in 0 channels
Get PRO
July '24
+52
in 1 channels
Get PRO
June '24
+91
in 4 channels
Get PRO
May '24
+452
in 3 channels
Get PRO
April '24
+32
in 0 channels
Get PRO
March '24
+103
in 0 channels
Get PRO
February '24
+37
in 0 channels
Get PRO
January '24
+1 396
in 0 channels
| Date | Subscriber Growth | Mentions | Channels | |
| 02 August | 0 | |||
| 01 August | +1 |
Channel Posts
כלומר, יש פה מכנה משותף מאד ספציפי לכל הבעיות - בכולן היה צריך למצוא משהו בעזרת שכל, ניסוי, טעיה (חסם, דוגמה נגדית). זה בדיוק בדיוק הדפוס שאני מדבר עליו פה בערך בכל פוסט שלישי.
ההשלכות של ההבנה הזו עצומות בעיני. זה ההבדל בין ״זהו, הAI הולך להשתלט על הכל״ לבין ״הAI כרגע מתקדם בנתיב ברור לסוג מסויים של בעיות והולך ומשתפר בהן״.
זה ההבדל בין להרגיש שהאפוקליפסה בדרך, לבין להבין שיש פה אוטומציה של תחומים מסויימים מאד באנושות.
וכמובן - אני לא יודע מה העתיד, ואני לא יודע מה עוד מסתתר במחשכי חברות הAI, אבל בינתיים כל פרסום מפוצץ מוח כזה, (ושימו לב פותח סוגריים רגע, זה לא ״מפוצץ מוח״ במרכאות. זה באמת מפוצץ מוח, כי זה משוגע שהמודלים עולים על הדברים האלה) מרגיש לי יותר מטעה את הציבור מאשר מסייע להבין לאן הAI הולך.
| 2 |  והנה ההסבר. אם נסתכל על ״מה בדיוק הAI מצא בכל אחת מ10 הבעיות״, נראה:
1. חסם עליון חדש
2. חסם עליון חדש
3. דוגמה נגדית
4. דוגמה נגדית
5. חסם תחתון
6. חסם עליון
7. חסם תחתון
8. חסם עליון (סוג של?)
9. חסם תחתון
10. דוגמאות נגדיות | 493 |
| 3 | לדוגמא, זה | 491 |
| 4 | בקצרה, מודל פנימי של OpenAI בשם Astra פתר 10 בעיות פתוחות (או, ״יצר 10 התקדמויות״) בעולם המתמטיקה.
כמובן שמעולם לא שמעתי על אף אחת מהבעיות האלה. אחרי קצת קריאה ונבירה, ויתקנו אותי המתמטיקאים שעוקבים פה בערוץ אם אני מדבר שטויות, נראה שהתגליות האלה מתכתבות 1:1 עם כל מה שנכתב כאן בערוץ בתקופה האחרונה. | 494 |
| 5 | https://openai.com/index/ten-advances-in-mathematics/
אבל זה כנראה הדבר הכי מעניין שקורה כרגע | 512 |
| 6 | באמת, בפוליטיקה הישראלית יש פחות התרחשות מבAI. אני לא מספיק לקרוא ולעבד ידיעה כבר מגיע משהו מהפכני אחר.
או שהקצב מאיץ
או שהחברות ממש לחוצות לIPO | 490 |
| 7 | אחרי כיוונונים, חשיבה, התאמות ובדיקות - קודקס יכול להיות סופר-עובד-QA ויזואלי.
הוא מריץ לי עכשיו תרחישים, מקליק על כפתורים, הולך db לראות שנוצרות שורות, בודק בלוגים שהכל טוב - מקצה לקצה.
זה לא משהו שעבד לי a few codexes ago. | 950 |
| 8 | הרבה תגובות מעניינות על הפוסט הזה. אגיב במרוכז, אבל לפני: | 945 |
| 9 | אוהו איזה שבוע. עאלק מחר. טוב. דברים רלוונטיים קרו, בואו נעשה סדר.
אלכס קארפ:
״האנשים האלה [בעלי חברות, מנהלים, לקוחות של חברות ה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 | 998 |
| 10 | יש עכשיו סוג של קמפיין תקשורתי מאד מעניין בהקשר של הOpen Source. אם עושים חיבור של הנקודות - אלכס קארפ מנכ״ל פלנטיר, ג׳נסן של אנווידיה, סאטיה של מייקרוסופט ועוד ועוד יש קצת תחושה של שינוי כיוון באסטרטגיה.
עוד על זה מחר | 1 834 |
| 11 | אופוס 5 בחוץ | 1 821 |
| 12 |  מחפשים עבודה בארסנל? | 1 980 |
| 13 |  רק 1400 דולר וסריקת תלת מימד של השיניים (ולגור בארה״ב) מפרידים בינכם לבין המכשיר הזה, שהוא סוג של פלטה שיושבת בפה ומאפשרת שליטה במקלדת ודיבור אפילו בלחישה לקלוד קוד שלכם.
תקנו? :)
https://x.com/augmentaltech/status/2079961051383410784?s=46 | 1 935 |
| 14 | גם כאן, יש לנו את המקרה הזה של:
בעיה דטרמיניסטית, יש מרחב חיפוש סופי שבו מסתתר הפתרון.
בינארית - מספיק פשוט למצוא דוגמה נגדית אחת.
ואותו ״חיפוש על-אנושי במרחב האפשרויות״ שמודל שפה יכול לעשות.
אגב, זה לא שרק במציאת-דוגמה-נגדית מודלי שפה יכולים להצטיין.
יש שפה מתמטית בשם LEAN. בגדול, היא הופכת הוכחה מתמטית שכתובה בטקסט ארוך ומתפלפל לסוג של ״אלגוריתם״ עם כללים ברורים שמחשב יכול לאמת אם ההוכחה שגויה או נכונה.
מה שאומר שברגע שמודל יכול לכתוב הוכחה בLEAN (לא דוגמה נגדית, ממש הוכחה למשהו) אפשר לבדוק את הנכונות שלה בקלות - ולתת לו פידבק.
אין שום דבר מעורפל, היעד ברור ובר בדיקה.
בכל פעם שאתם נתקלים בטענה שAI הולך להשתלט על X, זה מה שצריך לחפש. אם אין את זה, מדובר בקשקוש.
השנים הקרובות במתמטיקה יהיו מאד מעניינות. | 1 841 |
| 15 | סתם דוגמא, אם אני אומר ש״כל הפילים אדומים״, מספיק למצוא פיל אחד לא אדום כדי להפריך את הטענה. לוגיקה פסיכומטרית כזו. אז כזה בדיוק. | 1 677 |
| 16 | למי מכם שלא שוחה במתמטיקה, יש השערות מסוג ״בכל המקרים שX, אז Y״. בהרבה מקרים להוכיח מאד קשה, אבל להפריך כאילו ״קל״, כל מה שצריך הוא למצוא דוגמה אחת, מקרה אחד, בו יש X ואין Y - והפרכנו את הטענה.
וזה בדיוק מה שfable 5 עשה. | 1 635 |
| 17 |  לפי יומים עובד אנת׳רופיק העלה פוסט בטוויטר של ״היי, בזמן הגמר של המונדיאל נתתי לfable לנסות להפריך משהו והוא הצליח״. המשהו הזה הוא השערה מ1884 שעד לפני יומים-שלושה לא נפתרה. | 1 663 |
| 18 |  עוד דבר שקרה השבוע - שמעתם הפריך את הjacobian conjecture?
מה שמעניין, זה שזה בעצם מתחבר בדיוק למה שנכתב פה למעלה על סייבר.
הנה הסבר | 1 628 |
| 19 | רואה המון דיווחים על זה שOpenAI מתכננים להקים ״מרכז״ בישראל.
זה לא מו״פ או משהו כזה. יותר חטיבה עסקית לעבודה מול סטארטאפים, Customer Success.
הדיווח המקורי מגיע מכלכליסט אם הבנתי נכון:
https://www.calcalist.co.il/calcalistech/article/bjkonpo4me
אבל אין למיטב ידיעתי עוד אישור רשמי של OpenAI. | 1 637 |
| 20 | (אה כן, ויצא ג׳מיני פלאש 3.6 למי שחוגג) | 1 525 |
