דלג לתוכן הראשי
אוטומציות AI - לוגו
  • דף הבית
  • בלוג
  • חדשות
  • אודות
  • צור קשר
03-7630715קבעו ייעוץ חינם
אוטומציות AI - פתרונות אוטומציה וסוכני AI לעסקים בישראל

בונים סוכני AI ואוטומציות לעסקים בישראל: וואטסאפ, CRM, לידים, תורים, חשבוניות, דשבורדים וחיבור מערכות.

IL03-7630715USA(646) 760-4854info@automaziot.ai
אחד העם 9, תל אביב. מגדל שלום

קישורים מהירים

  • דף הבית
  • בלוג
  • חדשות
  • אודות
  • צור קשר
  • סיפורי הצלחה
  • מילון מונחים

הפתרונות שלנו

  • ניהול לידים אוטומטי
  • סוכן חכם לוואטסאפ
  • חיבור מערכות ודשבורדים
  • ניהול לקוחות חכם
  • קביעת תורים אוטומטית
  • מכירות ושירות לקוחות
  • אוטומציה לאיקומרס
  • סוכני AI
  • ייעוץ אוטומציה

הישארו מעודכנים

הירשמו לניוזלטר וקבלו עדכונים על חידושים בעולם האוטומציה וה-AI

FacebookInstagramLinkedIn

אתר זה משתמש ב-Google Analytics ו-Vercel Analytics לשיפור השירות. למידע מלא ראה מדיניות פרטיות

© 2026 אוטומציות AI. כל הזכויות שמורות.

מדיניות פרטיותתנאי שימושהצהרת נגישותמדיניות עריכה
מודלי AI פותרים בעיות מתמטיקה מתקדמות
מודלי AI פורצים בעיות מתמטיקה מתקדמות של ארדש
ביתחדשותמודלי AI פורצים בעיות מתמטיקה מתקדמות של ארדש
חדשות

מודלי AI פורצים בעיות מתמטיקה מתקדמות של ארדש

ChatGPT ומודלים מתקדמים פותרים 15 בעיות פתוחות – מה זה אומר לעתיד המחקר?

צוות אוטומציות AIצוות אוטומציות AI
14 בינואר 2026
3 דקות קריאה

תגיות

OpenAIChatGPTNeel SomaniPaul ErdősTerence TaoHarmonicNoam Elkies

נושאים קשורים

#למידת מכונה#מתמטיקה חישובית#בעיות ארדש#הוכחות AI#פורמליזציה מתמטית#מחקר AI
מבוסס על כתבה שלTechCrunch ↗·תרגום, סיכום והקשר עסקי על-ידי המערכתאיך אנחנו עובדים

✨תקציר מנהלים

נקודות עיקריות

  • ניל סומאני גילה ש-ChatGPT פותר בעיית ארדש מורכבת ב-15 דקות.

  • מאז חג המולד, 15 בעיות ארדש נפתרו, 11 בעזרת AI.

  • טרנס טאו: AI מצטיין ב'זנב הארוך' של בעיות קלות יחסית.

  • כלי פורמליזציה כמו Lean ו-Aristotle מאיצים את התהליך.

מודלי AI פורצים בעיות מתמטיקה מתקדמות של ארדש

  • ניל סומאני גילה ש-ChatGPT פותר בעיית ארדש מורכבת ב-15 דקות.
  • מאז חג המולד, 15 בעיות ארדש נפתרו, 11 בעזרת AI.
  • טרנס טאו: AI מצטיין ב'זנב הארוך' של בעיות קלות יחסית.
  • כלי פורמליזציה כמו Lean ו-Aristotle מאיצים את התהליך.

בעידן שבו AI משנה את כללי המשחק במדע, מה אם מודלי שפה גדולים יפתרו בעיות מתמטיות פתוחות שמטרידות מדענים עשרות שנים? ניל סומאני, מהנדס תוכנה וחוקר כמותי לשעבר, גילה זאת במפתיע כשבדק את יכולות המתמטיקה של המודל החדש של OpenAI. לאחר 15 דקות של חשיבה, ChatGPT סיפק פתרון מלא לבעיה מורכבת, אותה אימת סומאני בכלי Harmonic. 'רציתי לבדוק מתי LLM יוכלו לפתור בעיות מתמטיות פתוחות', אמר סומאני.

הפתרון שהציע ChatGPT היה מרשים: הוא הזכיר אקסיומות מתמטיות כמו נוסחת לגנדר, משפט ברטראן ותורת כוכב דוד. בסופו של דבר, המודל מצא פוסט מ-Math Overflow מ-2013 של המתמטיקאי נועם אלקיס מהרווארד, אך הפתרון שלו שונה והשלים גרסה מלאה יותר של בעיה שהציב המתמטיקאי האגדי פול ארדש. ארדש השאיר אחריו אלפי השערות פתוחות, שמהוות אתגר מרכזי לבדיקת יכולות AI.

מאז חג המולד, 15 בעיות ארדש הועברו מ'פתוחות' ל'פתורות' באתר המוקדש להן, כאשר 11 מהפתרונות מייחסים תרומה ישירה למודלי AI. זה כולל פתרונות אוטונומיים מוקדמים כמו AlphaEvolve מבוסס Gemini, אך בעיקר הישגים של GPT 5.2, שסומאני מתאר כ'מיומן יותר בהיגיון מתמטי'. הכמות הגוברת של פתרונות כאלה מעלה שאלות על יכולת LLM לדחוף את גבולות הידע האנושי.

המתמטיקאי טרנס טאו מציג מבט מאוזן יותר: בדף GitHub שלו הוא מונה 8 בעיות שבהן AI השיג התקדמות אוטונומית משמעותית, ו-6 נוספות בהן סייע בחיפוש מחקר קיים. לדברי טאו, AI מתאים במיוחד ל'זנב הארוך' של בעיות ארדש הקלות יחסית, שפתרונן פשוט אך נדיר. 'בעיות כאלה סבירות יותר להיפתר על ידי AI טהור מאשר על ידי בני אדם או שיטות היברידיות', כתב טאו ב-Mastodon.

גורם מרכזי להתקדמות הוא המעבר להערכה פורמלית – תהליך עבודה שמאפשר אימות קל יותר של הוכחות. כלי כמו Lean, שפותח במחקר מיקרוסופט ב-2013, הפך פופולרי, ומודלי AI כמו Aristotle של Harmonic מאוטמים חלק ניכר מהעבודה. טודור אצ'ים, מייסד Harmonic, מדגיש שהשימוש בכלים אלה על ידי פרופסורים בכירים במתמטיקה ומדעי המחשב הוא עדות אמיתית להתקדמות.

עבור מנהלי עסקים וטכנולוגים ישראלים, ההישגים הללו מצביעים על פוטנציאל AI להאיץ מחקר ופיתוח. חברות כמו אינטל ומיקרוסופט כבר משלבות כלים כאלה, ובעידן שבו אוטומציה מתמטית יכולה לשנות תעשיות כמו פינטק וביוטק, כדאי לבחון כיצד לשלב מודלים מתקדמים בתהליכי חדשנות.

האם AI יחליף מתמטיקאים? עדיין לא, אבל הוא כבר משנה את הנוף. בדקו בעצמכם: נסו בעיה מתמטית פתוחה ב-ChatGPT וראו לאן הגענו.

שאלות ותשובות

שאלות נפוצות

רוצים ליישם את זה בעסק שלכם?

באוטומציות AI אנחנו בונים סוכני AI ואוטומציות לעסקים בישראל. ראו את השירותים הרלוונטיים:

  • אוטומציה לעסקיםחיבור מערכות, חשבוניות ודשבורדים
  • בוט וואטסאפ לעסקWhatsApp Business API בישראל
  • סוכני AI לעסקיםסוכנים שמטפלים בלידים, שיחות ו-CRM
  • ניהול לידים אוטומטימענה מיידי, ניקוד וסינון אוטומטי

הכתבה הוכנה על-ידי המערכת בליווי בינה מלאכותית: תרגום, סיכום והוספת הקשר עסקי ישראלי מתוך פרסום מקורי של TechCrunch. קראו על תהליך העריכה שלנו. קישור למקור המקורי.

אהבתם את הכתבה?

הירשמו לניוזלטר שלנו וקבלו עדכונים חמים מעולם ה-AI ישירות למייל

עוד מ־TechCrunch

כל הכתבות מ־TechCrunch
חקירה רגולטורית נגד OpenAI בארצות הברית: כל הפרטים
חדשות
לפני 6 שעות
4 דקות
·מ־TechCrunch

חקירה רגולטורית נגד OpenAI בארצות הברית: כל הפרטים

קואליציה של תובעים כלליים בארצות הברית, ובראשם התובעת הכללית של מדינת ניו יורק, פתחה בחקירה נגד חברת OpenAI. החקירה מתמקדת בשיטות הפרסום של החברה, רמת מעורבות המשתמשים, היבטי בטיחות המודל, אופן הטיפול במידע רגיש ורפואי, והגנה על קטינים וקבוצות מוחלשות. OpenAI משתפת פעולה עם החקירה, וטוענת כי הגרסאות האחרונות של ChatGPT כוללות מנגנוני הגנה משופרים. חקירה זו, לצד תביעה נוספת מצד התובע הכללי של פלורידה, מתרחשת בנקודת זמן רגישה במיוחד עבור החברה, אשר הגישה לאחרונה טפסים חסויים לקראת הנפקה ראשונית לציבור (IPO).

OpenAIChatGPTSam Altman
קרא עוד
סטארטאפים להפחתת יוקר המחיה: החזון הכלכלי של אנדרו יאנג לעידן ה-AI
ניתוח
לפני 18 שעות
4 דקות
·מ־TechCrunch

סטארטאפים להפחתת יוקר המחיה: החזון הכלכלי של אנדרו יאנג לעידן ה-AI

היזם אנדרו יאנג מציג תזה כלכלית חדשה לעידן ה-AI: במקום לשאוב ערך מהצרכנים, סטארטאפים צריכים להתמקד בהפחתת עלויות המחיה והחזרת כספים למשתמשים. יאנג, שהקים לאחרונה את חברת Noble Mobile המשתפת את רווחיה עם לקוחותיה, טוען כי השפעת הבינה המלאכותית על שוק התעסוקה והשכר תדרוש פתרונות צרכניים הוגנים יותר. בעוד שוק ההון נוהר למיזמי AI טהורים, מיזמים מבוססי שיתוף ערך יכולים להוות הזדמנות עסקית עצומה ויציבה, במיוחד בשווקים בעלי יוקר מחיה גבוה כמו ישראל.

Andrew YangMark CubanCost Plus Drugs
קרא עוד
השבתת מודלי AI של אנתרופיק: ארה"ב עצרה את הגישה ל-Claude Fable 5
חדשות
לפני 20 שעות
4 דקות
·מ־TechCrunch

השבתת מודלי AI של אנתרופיק: ארה"ב עצרה את הגישה ל-Claude Fable 5

צו חירום של ממשל ארה"ב הורה לחברת Anthropic להשבית מיידית ובאופן גלובלי את הגישה לשני מודלי ה-AI החזקים ביותר שלה: Claude Fable 5 ו-Claude Mythos 5. המהלך הדרמטי, שהוגדר כפעולת פיקוח על ייצוא בעקבות חשש לפריצת אבטחה (jailbreak) צרה, מגיע ימים בודדים בלבד לאחר השקת Fable 5 לציבור הרחב. המקרה מדגיש את סיכוני הרגולציה והתלות של עסקים במודל יחיד, ומחייב חברות ישראליות לבנות אסטרטגיות מרובות מודלים עם תשתיות אינטגרציה גמישות לצמצום הפגיעה ברציפות התפעולית שלהן.

AnthropicClaude Fable 5Claude Mythos 5
קרא עוד
אימון מודלי בינה מלאכותית בארגונים: משבר המהנדסים של Meta
ניתוח
לפני 22 שעות
4 דקות
·מ־TechCrunch

אימון מודלי בינה מלאכותית בארגונים: משבר המהנדסים של Meta

דיווחים פנימיים מתוך חטיבת ה-Applied AI של Meta חושפים משבר ארגוני חריף: כ-6,500 מהנדסים ומנהלי מוצר מתארים את העבודה על אימון מודלי בינה מלאכותית בארגונים כסיזיפית ומייאשת. העובדים, המכנים את עצמם "מגויסי חובה", נדרשים לתייג נתונים ולכתוב קוד עבור מערכות ה-AI במקום לעסוק בפיתוח מתקדם, מה שמעורר תסיסה ומרד פנימי בחברה. המהלך מגיע בעקבות החלטת המנכ"ל מארק צוקרברג להעדיף כוח אדם פנימי בכיר על פני קבלנים חיצוניים, מהלך שגובה מחיר כבד של שחיקה והתפטרות עובדים.

MetaBusiness InsiderMark Zuckerberg
קרא עוד

עוד כתבות שיעניינו אותך

לכל הכתבות
חקירה רגולטורית נגד OpenAI בארצות הברית: כל הפרטים
חדשות
לפני 6 שעות
4 דקות
·מ־TechCrunch

חקירה רגולטורית נגד OpenAI בארצות הברית: כל הפרטים

קואליציה של תובעים כלליים בארצות הברית, ובראשם התובעת הכללית של מדינת ניו יורק, פתחה בחקירה נגד חברת OpenAI. החקירה מתמקדת בשיטות הפרסום של החברה, רמת מעורבות המשתמשים, היבטי בטיחות המודל, אופן הטיפול במידע רגיש ורפואי, והגנה על קטינים וקבוצות מוחלשות. OpenAI משתפת פעולה עם החקירה, וטוענת כי הגרסאות האחרונות של ChatGPT כוללות מנגנוני הגנה משופרים. חקירה זו, לצד תביעה נוספת מצד התובע הכללי של פלורידה, מתרחשת בנקודת זמן רגישה במיוחד עבור החברה, אשר הגישה לאחרונה טפסים חסויים לקראת הנפקה ראשונית לציבור (IPO).

OpenAIChatGPTSam Altman
קרא עוד
אחריות משפטית על תוכן בינה מלאכותית: פסיקה תקדימית נגד גוגל
חדשות
לפני 12 שעות
4 דקות
·מ־Wired

אחריות משפטית על תוכן בינה מלאכותית: פסיקה תקדימית נגד גוגל

פסיקה דרמטית של בית המשפט המחוזי במינכן קובעת לראשונה כי חברות טכנולוגיה נושאות באחריות משפטית ישירה ומלאה לתוכן שקרי ומכפיש המיוצר על ידי כלי הבינה המלאכותית שלהן. במרכז התביעה עומד פיצ'ר AI Overviews של גוגל, אשר קישר מוציאים לאור גרמנים למעשי הונאה ללא כל בסיס במציאות. בית המשפט דחה את טענות ההגנה של גוגל, לפיהן אזהרות המשתמש פוטרות אותה מאחריות, וקבע כי מכיוון שהאלגוריתם מייצר אמירות חדשות ועצמאיות, היצרנית היא האחראית הבלעדית לנזקיהן. החלטה זו עשויה לחולל מהפכה ברגולציה על כלי Generative AI ברחבי העולם ולהשליך ישירות על ניהול הסיכונים של עסקים ישראליים המטמיעים טכנולוגיות דומות.

GoogleMunich Regional CourtAI Overviews
קרא עוד
השבתת מודלי AI של אנתרופיק: ארה"ב עצרה את הגישה ל-Claude Fable 5
חדשות
לפני 20 שעות
4 דקות
·מ־TechCrunch

השבתת מודלי AI של אנתרופיק: ארה"ב עצרה את הגישה ל-Claude Fable 5

צו חירום של ממשל ארה"ב הורה לחברת Anthropic להשבית מיידית ובאופן גלובלי את הגישה לשני מודלי ה-AI החזקים ביותר שלה: Claude Fable 5 ו-Claude Mythos 5. המהלך הדרמטי, שהוגדר כפעולת פיקוח על ייצוא בעקבות חשש לפריצת אבטחה (jailbreak) צרה, מגיע ימים בודדים בלבד לאחר השקת Fable 5 לציבור הרחב. המקרה מדגיש את סיכוני הרגולציה והתלות של עסקים במודל יחיד, ומחייב חברות ישראליות לבנות אסטרטגיות מרובות מודלים עם תשתיות אינטגרציה גמישות לצמצום הפגיעה ברציפות התפעולית שלהן.

AnthropicClaude Fable 5Claude Mythos 5
קרא עוד
ממשל ארה"ב נגד אנתרופיק: Claude Fable 5 מוסר מהאוויר במפתיע
חדשות
לפני 20 שעות
4 דקות
·מ־Wired

ממשל ארה"ב נגד אנתרופיק: Claude Fable 5 מוסר מהאוויר במפתיע

דרמה בעולם הבינה המלאכותית: חברת Anthropic הודיעה על השבתה מיידית של שני מודלים שהשיקה השבוע, Claude Fable 5 ו-Mythos 5, בעקבות צו פיקוח ייצוא דחוף שקיבלה מממשל ארה"ב. הממשל חושש כי גורמים עוינים גילו שיטה לפרוץ את מנגנוני ההגנה של הדגמים (Jailbreak) ולנצל אותם לגילוי חולשות אבטחה וסייבר. למרות שחברת אנתרופיק טוענת כי הפירצה שהתגלתה היא צרה ואינה מסוכנת באופן חריג, היא נאלצה להסיר את הגישה לכלל לקוחותיה כדי לעמוד בדרישות הרגולציה הממשלתית. המקרה מדגיש את החשיבות הקריטית של אבטחת מודלי שפה גדולים בארגונים.

AnthropicClaude Fable 5Mythos 5
קרא עוד