זמני השבת והחג
| עיר | כניסה | יציאה |
|---|---|---|
| ירושלים | 17:57 | 19:07 |
| תל אביב | 18:11 | 19:09 |
| חיפה | 18:03 | 19:09 |
| באר שבע | 18:14 | 19:10 |
הכותרות שעניינו הכי הרבה גולשים בדף זה
09/09/26 17:15
6.79% מהצפיות
מאת TGspot
גוגל מקצרת את הדרך לעדכון הבא: Chrome עובר לגרסאות חדשות מדי שבועיים, מה הסיבה?
09/09/26 09:40
6.32% מהצפיות
מאת TGspot
עם מעבד חדש תוצרת בית, XRing O3, עם התאמות של מערכת ההפעלה כדי לעבוד חלק בריבוי מטלות, שאומי רוצה ש-Pad 9 Pro Max יהיה מהטאבלטים המובילים בשוק
09/09/26 12:45
5.84% מהצפיות
מאת TGspot
כמו רוב סוכני ה-AI שמוצעים כיום גם Muse רוצה לקנות, לשלוח הודעות דוא"ל ולתכנן לכם טיולים בשמכם ובשבילכם - ואין צריך בידע טכנולוגי כדי לתת לו להתחיל להתרוצץ
09/09/26 15:15
5.84% מהצפיות
מאת TGspot
טענות רבות של משתמשים שכבר רכשו את המתקפל הרחב החדש של סמסונג הובילו את החברה להודיע שזה לא תקלה אלא תוכנן כך מראש
09/09/26 09:49
2.86% מהצפיות
מאת גיקטיים
קופרטינו נערכת לאירוע האייפון השנתי, ורגע לפני שג'ון טרנוס – המנכ"ל החדש של אפל – יעלה לראשונה לבמה, נראה שכל הפרטים החשובים כבר בחוץ. מארק גורמן מבלומברג, אחד המקורות האמינים על החברה, חושף עכשיו את המפרט והמחירים של מה שמצפה לנו הערב באירוע Surprise and Shine. יגיע עד 3,000 דולר על פי הדיווח החדש, אפל […]
09/09/26 12:33
2.15% מהצפיות
מאת גיקטיים
אחרי תקופה ארוכה בה פעל מתחת לרדאר (ליטרלי מתחת לרדאר) סטארטאפ הדיפנסטק Covenant נחשף היום (ד') רשמית עם המוצר החשאי שלו, שהיה בפיתוח בשנים האחרונות, עם גיוסים בסך 250 מיליון דולר. תחליף זול ונגיש לטומהוק הוותיק המוצר המרכזי שחושפת החברה נקרא Anthem, מערכת נשק לטווח ארוך שמסוגלת לשאת חימוש כבד. הרעיון של Covenant הוא לייצר […]
09/09/26 12:43
2.15% מהצפיות
מאת אנשים ומחשבים
הסיפור הבא הוא דרמטי, ואף גולש לדרמטיות טלנובלית של ממש, אבל הוא גם מטריד – חברת OpenAI יצרה שוב מהומה בתעשיית הטכנולוגיה, וזאת לאחר שהכריזה כי מערכת פנימית שלה הצליחה לייצר הוכחה מתמטית ממוחשבת לבעיית מנגנון הזרימה של נאבייה-סטוקס (Navier-Stokes equations). בעיה זו, הנחשבת לאחת מ"בעיות המילניום" היוקרתיות של מכון קליי למתמטיקה (Clay Mathematics Institute) – שפרס של מיליון דולר לפותר תלוי ועומד לצידה – בוחנת האם משוואות המתארות תנועת נוזלים וגזים יכולות להגיע בנסיבות מסוימות לנקודת "קריסה", שבה המהירות הופכת לאינסופית.
לפי דיווחי החברה, המשימה הושלמה תוך 88 שעות בלבד, הודות להפעלה במקביל של "נחיל" של כ-10,000 סוכני בינה מלאכותית עצמאיים. החברה דיווחה גם שהבעיה אומתה רשמית באמצעות תוכנת האימות הלוגית Lean. ב-OpenAI הבהירו כי מטרת המחקר הייתה להציג את קצב ההתקדמות המדעית של הטכנולוגיה, וכי אין בכוונתם לדרוש את פרס מיליון הדולרים. We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem… pic.twitter.com/8zol3BPTL4
— OpenAI (@OpenAI) September 8, 2026 מהי בעיית נאבייה-סטוקס ולמה היא חשובה?
משוואות נאבייה-סטוקס נוסחו עוד במאה ה-19 כדי לתאר מתמטית כיצד נוזלים וגזים זורמים, והפכו בשנת 2000, כאמור, לאחת מ"בעיות המילניום" של מכון קליי. במשך כמעט מאה שנה ניסו מיטב המתמטיקאים והפיזיקאים בעולם לפצח האם המשוואות הללו תמיד מתנהגות באופן חלק וצפוי, או שמא זרימה עלולה להגיע לנקודת קריסה פתאומית. פתרון הבעיה אינו רק עניין תיאורטי: המשוואות הללו הן הבסיס לחיזוי מזג אוויר וסערות, לתכנון אווירודינמי של מטוסים ומכוניות, ולמידול זרימת דם בגוף האדם.
התגלית המקבילה והחשש מזליגת המידע
ואולם השמחה סביב ההישג העצום, לכאורה, מבית OpenAI התפוגגה במהירות בעקבות גילויים שחשף המתמטיקאי פרופ' טריסטן באקמאסטר מאוניברסיטת ניו יורק (New York University). באקמאסטר, כך נטען, עבד במשך כמעט שנה בשיתוף פעולה עם לבנט אלפוג'ה, חוקר מבית חברת הבינה המלאכותית המתחרה אנת'רופיק (Anthropic), והגיע יחד עימו לפריצת דרך מקבילה עוד באוגוסט, באמצעות שילוב מודלי שפה.
בעקבות שמועות שנפוצו בתחילת ספטמבר, פנה באקמאסטר ל-OpenAI כדי להבהיר שמדובר במחקר אישי ועצמאי. החשש המרכזי של החוקרים, כפי שדווח ב-גרדיאן וב-Decrypt, נבע מכך שקוד המחקר וטיוטות העבודה שלהם נשמרו במודל Codex של OpenAI – דבר שהעלה תהיות האם המידע הפרטי שימש לאימון או להכוונת המודלים הפנימיים של החברה.
Post by @tristanbuckmaster@mastodon.social
View on Mastodon
השיחה הלילית, האיומים ומאבק הקרדיטים
לפי הצהרתו של באקמאסטר, יומיים בלבד לאחר פנייתו הוא ניהל שיחה מתוחה עם סבסטיאן בובק, חוקר בכיר ב-OpenAI. במהלך השיחה חשף בובק כי המודל של OpenAI הפיק הוכחה בת 100 עמודים בגישה ספציפית ומצומצמת שכמעט ולא הייתה בשימוש בתחום – אותה גישה בדיוק שבה נקטו באקמאסטר ואלפוג'ה.
באקמאסטר טען כי בובק העמיד בפניו אולטימטום: לפרסם את המאמר באופן שמשמיט את שמו של אלפוג'ה, בשל שיוכו לחברה המתחרה – החברה האם של קלוד – או להסכים לפרסום של OpenAI. כשהבהיר באקמאסטר שבכוונתו לפנות לציבור, הטיח בו בובק לפי הטענות: "למה שתהרוס את הקריירה שלך?" והוסיף: "אם אתה לא רוצה שאהיה נחמד, אני לא חייב להיות נחמד". A series of false and inflammatory allegations against me are currently circulating on social channels. To clarify, I came into the discussion following academic norms, and I'm disappointed that it has come to this. Anyone who knows me knows that academic standards are of the…
— Sebastien Bubeck (@SebastienBubeck) September 8, 2026 תגובת OpenAI והודאה במורכבות הנתונים
הנהלת OpenAI ו-בובק דחו בתוקף את טענותיו של באקמאסטר. אלא שבובק פרסם בחשבון ה-X שלו צילומי מסך של התכתבויות והבהיר כי פעל ביושרה ובכוונה מלאה לתאם פרסום משותף, תוך הדגשה כי "מעולם לא ביקשתי להסיר את שמו של לבנט (אלפוג'ה – ג"פ) כמחברה של העבודה שלו".
מנכ"ל OpenAI, סם אלטמן, גיבה את העובד שלו וציין כי בובק וצוותו "פעלו ביושרה ובנדיבות לאורך כל הדרך". עם זאת, לצד ההכחשה הגורפת של קריאה ישירה בטיוטות הפרטיות, OpenAI הודתה באופן רשמי כי אינה יכולה לשלול לחלוטין שנתוני השימוש והאינטראקציות של החוקרים עם מוצריה סייעו בשיפור המודלים הפנימיים שלה.
אימות כפול והשלכות על תעשיית הבינה המלאכותית
בסופו של דבר, שני הצדדים שחררו במקביל מאגרי קוד פתוחים המכילים את אימותי Lean 4 הממוחשבים. בדיקה שערך כלי התקשורת Stanford Tech Review אישרה כי שני מאגרי הקוד תקינים לחלוטין ומכילים יחד כ-2.3 מיליון שורות קוד שנבדקו אלגוריתמית.
המתמטיקאי הבלתי תלוי וזוכה מדליית פילדס, טרנס טאו, שיבח את עבודתם של באקמאסטר ואלפוג'ה וכינה אותה "הישג יוצא דופן".
לסיכום ניתן לומר שעל אף שהמחשב הצליח לאמת את נכונות הטענות המתמטיות מעל לכל ספק, הסכסוך הנוכחי מעמיד במרכז הבמה את סוגיות הקרדיט, פרטיות המידע והתחרות הדורסנית בעידן שבו ענקיות ה-AI נאבקות לא רק מסחרית אלא גם על יוקרה מדעית.
09/09/26 14:15
2.15% מהצפיות
מאת גיקטיים
אם ניסיתם לתת לאייג'נט AI משימה שדורשת חפירות וחיטוטים בדאטה הארגוני שלכם, כנראה שגיליתם מהר מאוד שהוא הולך לאיבוד. בזמן שהמידע קבור בדאטה-בייסים שונים או לפעמים בראש של המפתחים, הסטארטאפ הישראלי Euno פיתח מערכת שמתממשקת לכל הכלים בארגון ומנגישה אותו לסוכנים. עכשיו הוא נחשף עם גיוס של 23 מיליון דולר. החברה שהשתנתה "כמעט בכל ממד" […]