Skip to main content
Automaziot AI logo
  • Home
  • Blog
  • About
  • Contact
(646) 760-4854Book a Free Consultation
Automaziot AI - AI Automation and Intelligent Agents for Business

AI Automation Experts. We help businesses streamline operations and scale faster with intelligent agents and workflow automation.

USA(646) 760-4854Israel HQ+972-3-7630715info@automaziot.ai
Israel HQ: Ahad Ha'Am 9, Tel Aviv

Quick Links

  • Home
  • About
  • Contact
  • Case Studies
  • Glossary

Our Solutions

  • Lead Management
  • WhatsApp AI Agent
  • Business Automation
  • Smart CRM
  • Automated Scheduling
  • Sales & Support
  • WhatsApp Commerce
  • AI Agents
  • Tech Consulting

Stay Updated

Get the latest insights on AI automation delivered to your inbox.

FacebookInstagramLinkedIn

This site uses Google Analytics and Vercel Analytics to improve your experience. For full details, see our Privacy Policy

© 2026 Automaziot AI. All rights reserved.

Privacy PolicyTerms of ServiceAccessibilityEditorial Policy
אקסיום: AI פיצח 4 בעיות מתמטיות
סטארט-אפ AI חדש פיצח 4 בעיות מתמטיות פתוחות
ביתחדשותסטארט-אפ AI חדש פיצח 4 בעיות מתמטיות פתוחות
חדשות

סטארט-אפ AI חדש פיצח 4 בעיות מתמטיות פתוחות

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

צוות אוטומציות AIצוות אוטומציות AI
4 בפברואר 2026
4 דקות קריאה

תגיות

AxiomAxiomProverKen OnoDawei ChenQuentin GendronCarina HongScott Kominers

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

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

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

Key Takeaways

  • AxiomProver פתר את הנחת צ'ן-ג'נדרון בגיאומטריה אלגברית תוך שעות.

  • הוכחה מלאה להנחת פל, בהשראת רמנוג'ן.

  • פוטנציאל לשימושים בסייבר ובתוכנה מאובטחת.

סטארט-אפ AI חדש פיצח 4 בעיות מתמטיות פתוחות

  • AxiomProver פתר את הנחת צ'ן-ג'נדרון בגיאומטריה אלגברית תוך שעות.
  • הוכחה מלאה להנחת פל, בהשראת רמנוג'ן.
  • פוטנציאל לשימושים בסייבר ובתוכנה מאובטחת.

האם בינה מלאכותית יכולה לפתור בעיות מתמטיות שמטרידות מדענים במשך שנים? סטארט-אפ חדש בשם אקסיום (Axiom) טוען שכן, לאחר שאחד הכלים שלו, AxiomProver, פיצח ארבע בעיות שלא נפתרו עד כה. ההישג הזה מדגים את ההתקדמות המהירה של AI בתחום ההיגיון המתמטי, ומעלה שאלות על ההשפעה העתידית על מחקר מדעי ועסקי. לפי הדיווח של WIRED, ההוכחות פורסמו באתר arXiv, והן נבדקו על ידי המומחים.

לפני חמש שנים ניסו המתמטיקאים דאוויי צ'ן וקוונטין ז'נדרון להתמודד עם תחום מורכב בגיאומטריה אלגברית. הם נתקלו במכשול: נוסחה מוזרה מתורת המספרים שלא הצליחו לפתור. הם פרסמו את הרעיון כהנחה (conjecture) ולא כמשפט מוכח. לאחרונה, צ'ן שיתף את הבעיה עם קן אונו, מתמטיקאי בכיר שהצטרף לאקסיום. למחרת, אונו סיפק הוכחה שנוצרה על ידי AxiomProver. 'הכל נפל למקומו באופן טבעי', אומר צ'ן. הכלי גילה קשר לתופעה נומרית מהמאה ה-19 והוכיח אותה בעצמו.

אקסיום מדווחת על שלוש הוכחות נוספות שהושגו בשבועות האחרונים. אחת מהן פותרת את הנחת פל (Fel’s Conjecture) בנושא סיזיגיות (syzygies) באלגברה, הקשורה לנוסחאות ממחברתו של סריניוואסה רמנוג'ן מהמאה הקודמת. AxiomProver פיתח את ההוכחה מההתחלה ועד הסוף, ללא עזרה אנושית. 'זה מדהים', אומר סקוט קומינרס, פרופסור בהרווארד, 'לא רק שהוא פתר את הבעיה באופן אוטומטי, אלא גם יצר מתמטיקה אלגנטית ויפה'.

ההוכחה השלישית עוסקת במודל הסתברותי של 'מבוי סתום' בתורת המספרים. הרביעית משתמשת בכלים שפותחו לפתרון משפט פרמה האחרון, אחד האתגרים הגדולים במתמטיקה. אקסיום משלבת מודלי שפה גדולים עם AxiomProver, שמאומן על שפת Lean לבדיקת הוכחות. זה שונה ממערכות כמו AlphaProof של גוגל מ-2024, ומאפשר פתרונות חדשניים באמת, לא רק חיפוש בספרות.

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

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

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

מה תעשו עם כלי כזה? האם AI ישנה את עולם המחקר שלכם? הגיע הזמן לבדוק.

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

FAQ

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

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

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

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

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

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

עוד מ־Wired

כל הכתבות מ־Wired
מערכות ניטור AI לקשישים: המהפכה שמסעירה את ענף הטיפול הביתי
ניתוח
לפני 22 שעות
5 דקות
·מ־Wired

מערכות ניטור AI לקשישים: המהפכה שמסעירה את ענף הטיפול הביתי

ההתקדמות הטכנולוגית מביאה את מהפכת ה-AI ישירות אל בתיהם של בני הגיל השלישי. מערכות ניטור אקוסטיות וויזואליות כמו Sensi.ai, שגייסה כ-100 מיליון דולר ומשולבת בכ-80% מרשתות הטיפול הגדולות בארה"ב, מציעות פתרון למספר גדל והולך של אתגרים ומחסור חמור במטפלים סיעודיים. בעזרת חיישנים ומכשירי מכ"ם, המערכות מזהות נפילות, שיעולים ושינויים בשגרה היומית ומזעיקות עזרה בזמן אמת. עם זאת, השימוש במערכות אלו מעורר דילמות אתיות קשות סביב פגיעה בפרטיות, הסכמה מדעת והפיכת המרחב הביתי המוגן לאזור מעקב קבוע. עבור עסקים וארגוני בריאות בישראל, האתגר הגדול יהיה לאזן בין היעילות התפעולית לבין עמידה בחוק הגנת הפרטיות הישראלי.

Sensi.aiEarzzAlly Cares
קרא עוד
עימות בצמרת ה-AI: הממשל האמריקאי מסרב להסיר את מגבלות הייצוא מ-Claude Fable 5
חדשות
אתמול
4 דקות
·מ־Wired

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

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

AnthropicWhite HouseClaude Fable 5
קרא עוד
צוותי בינה מלאכותית יישומית: הרה-אורגניזציה שזעזעה את מטא
חדשות
אתמול
4 דקות
·מ־Wired

צוותי בינה מלאכותית יישומית: הרה-אורגניזציה שזעזעה את מטא

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

MetaAndrew BosworthMaher Saba
קרא עוד
זיהוי פנים במשקפיים חכמים: שיתוף הפעולה בין Meta לספקית הפנטגון
חדשות
לפני 2 ימים
4 דקות
·מ־Wired

זיהוי פנים במשקפיים חכמים: שיתוף הפעולה בין Meta לספקית הפנטגון

חשיפה חדשה של מגזין WIRED מגלה כי ענקית הטכנולוגיה Meta רכשה רישיון לשימוש בטכנולוגיית זיהוי הפנים של חברת Rank One Computing, ספקית ביטחונית מרכזית של הפנטגון, ה-FBI וה-CIA, לצורך בדיקת משקפי ה-Ray-Ban החכמים שלה. קוד המעקב הביומטרי הוטמע באופן רדום באפליקציות שהותקנו בטלפונים של מיליוני משתמשים, והוסר רק לאחר פניית העיתונאים לחברה. הגילוי מעורר שאלות קשות לגבי טשטוש הגבולות בין כלי ביון צבאיים למוצרי צריכה יומיומיים, ומדגיש את החשיבות של רגולציה מחמירה להגנת הפרטיות, במיוחד עבור עסקים המבקשים לאמץ חומרה לבישה.

MetaRank One ComputingFBI
קרא עוד

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

לכל הכתבות
חוות שרתים לבינה מלאכותית: מרוץ ההשקעות הענק בהודו
חדשות
לפני 40 דקות
4 דקות
·מ־TechCrunch

חוות שרתים לבינה מלאכותית: מרוץ ההשקעות הענק בהודו

ענקית הפנסיה הקנדית CPP Investments (קרן השקעות הפנסיה של קנדה) נכנסת למרוץ תשתיות הבינה המלאכותית בהודו עם השקעה של עד 70 מיליארד רופי (כ-741 מיליון דולר) במפעילת חוות השרתים CtrlS (מפעילת חוות שרתים הודית). במסגרת העסקה, CPP תרכוש 8.2% מהחברה ותקים מיזם משותף לפיתוח קמפוסים של חוות שרתים לבינה מלאכותית ומחשוב ענן בהיקף "היפר-סקייל" (Hyperscale). המהלך מצטרף להשקעות ענק של חברות כמו Meta (ענקית המדיה החברתית האמריקאית) ו-AirTrunk (חברת תשתיות חוות שרתים), המאיצות את בניית התשתיות הפיזיות הנדרשות לעומסי עבודה של AI. עבור עסקים, צמיחה זו צפויה להוזיל את עלויות המחשוב ולשפר את ביצועי הכלים האוטומטיים ברחבי העולם.

CPP InvestmentsCtrlSAirTrunk
קרא עוד
תרגום שמע בזמן אמת: DeepL רוכשת את הסטארט-אפ Mixhalo
חדשות
לפני 42 דקות
4 דקות
·מ־TechCrunch

תרגום שמע בזמן אמת: DeepL רוכשת את הסטארט-אפ Mixhalo

חברת הבינה המלאכותית הגרמנית DeepL (דיפאיל) רכשה את הסטארט-אפ האמריקאי Mixhalo (מיקסהאלו), המתמחה בהזרמת שמע בזמן אמת, במטרה לשלב את פתרונות תרגום הקול שלה באירועים המוניים וכנסים פיזיים. Mixhalo, שנוסדה ב-2016 וגייסה מעל 39 מיליון דולר, מביאה עמה טכנולוגיה ייחודית המאפשרת הזרמת שמע ללא שיהוי ישירות למכשירים הניידים של הקהל. הרכישה תאפשר ל-DeepL להציע פתרונות תרגום שמע בזמן אמת באירועים חיים, ותחרה ישירות מול פלטפורמות כמו Wordly AI. בעקבות הרכישה, DeepL פותחת משרד חדש באזור מפרץ סן פרנסיסקו להרחבת פעילותה בארצות הברית.

DeepLMixhaloJarek Kutylowski
קרא עוד
מערכת ההפעלה אנדרואיד 17 הושקה: כל החידושים וה-AI לעסקים
חדשות
לפני 18 שעות
4 דקות
·מ־TechCrunch

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

גוגל השיקה באופן רשמי את גרסת ה-Final של מערכת ההפעלה אנדרואיד 17, המשלבת יכולות בינה מלאכותית מורחבות לצד עדכוני ממשק משמעותיים למשתמשי הקצה. המערכת, המגיעה ראשית למכשירי Pixel דרך חבילת Pixel Drop, מציגה שיתוף פעולה מובנה עם מודל ה-AI הרב-מודאלי Gemini Omni לעריכת וידאו אינטראקטיבית, כלי יצירת המוזיקה Lyria 3, ותרגום קולי מתקדם באמצעות מודל AudioLM. לצד ה-AI, גוגל מציגה את ממשק ה-Bubble Bar לשיפור המולטיטסקינג וניהול אפליקציות צפות בתחתית המסך, במטרה לייעל את סביבת העבודה הניידת ולקצר את זמני התגובה התפעוליים.

GoogleAndroid 17Wear OS 7
קרא עוד
SpaceX רוכשת את Cursor ב-60 מיליארד דולר במניות
חדשות
אתמול
5 דקות
·מ־TechCrunch

SpaceX רוכשת את Cursor ב-60 מיליארד דולר במניות

עסקת ענק דרמטית מרעידה את עולם הטכנולוגיה: חברת SpaceX של אילון מאסק הודיעה על רכישת סטארטאפ פיתוח הקוד Cursor (הידוע כ-Anysphere) בעסקת מניות בשווי של כ-60 מיליארד דולר. הרכישה מתבצעת ימים ספורים בלבד לאחר ההנפקה הציבורית ההיסטורית (IPO) של SpaceX, ונועדה להזניק את פעילות חטיבת הבינה המלאכותית של החברה. לפני העסקה, Cursor הייתה במסלול לגיוס הון של 2 מיליארד דולר לפי שווי של 50 מיליארד דולר ממשקיעים בולטים, בהם Nvidia ו-Thrive. המיזוג צפוי להיסגר ברבעון השלישי של שנת 2026 וישפיע ישירות על תעשיית פיתוח התוכנה ועל אבטחת המידע של ארגונים ברחבי העולם ובפרט בישראל.

SpaceXCursorxAI
קרא עוד