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

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

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

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

תקציר מנהלים

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

  • 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 ישנה את עולם המחקר שלכם? הגיע הזמן לבדוק.

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

שאלות נפוצות

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

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

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

האם שחקן הפוקר מבלף? הבינה המלאכותית חושבת שכן
ניתוח
4 דקות
מ־Wired

האם שחקן הפוקר מבלף? הבינה המלאכותית חושבת שכן

במהלך שידורי הטורניר המרכזי של אליפות העולם בפוקר (WSOP) לשנת 2026, חשפה רשת ESPN כלי בינה מלאכותית חדש לזיהוי שפת גוף וסימנים התנהגותיים (tells) של שחקנים בזמן אמת. הכלי, שפותח על ידי מהנדס הבינה המלאכותית לוק גיל, עוקב אחר מדדים כמו תנועות עיניים, מצמוץ ותנוחת גוף כדי לחזות את חוזק היד של השחקן. למרות החדשנות הטכנולוגית, שחקני פוקר מקצועיים כמו מיכאל גליאנו ושון דיב מביעים ספקנות רבה בנוגע ליעילות הכלי. המקצוענים מצביעים על כמות הנתונים המצומצמת ועל מורכבותם העצומה של סימנים פיזיים שאינם נקלטים במצלמות השידור, לצד השפעת לחץ המעמד על שפת הגוף של השחקנים.

קרא עוד
איך סטארטאפ אחד הצליח לבנות רובוט כמעט ללא חלפים מסין
חדשות
4 דקות
מ־Wired

איך סטארטאפ אחד הצליח לבנות רובוט כמעט ללא חלפים מסין

האיסור החדש של נציבות התקשורת הפדרלית (FCC) בארצות הברית על יבוא רובוטים דמויי אדם מסין עשוי לעכב חברות רובוטיקה רבות המסתמכות עליהן לצורך אספקת חומרה. מנגד, חברת ההזנק Ati Robotics, המרכיבה את הרובוטים שלה בבנגלור שבהודו, מציגה שרשרת אספקה עמידה וכמעט נקייה מחלקים סיניים. בעוד הגורר בעל כושר הנשיאה של 10,000 פאונד של החברה אינו כולל חלקים מסין למעט תאי הסוללה, הרובוט ההומנואידי החדש שלה מבוסס על רכיבים המיוצרים ברובם בהודו. מייסד החברה, סוראב צ'אנדרה, מסביר כיצד החלטות הנדסיות מוקדמות ומינוף תעשיית הרכב החשמלי המקומית סייעו לחברה לצמצם את התלות בסין ולהתחרות בשוק העולמי.

קרא עוד
כיצד מרכזי הנתונים והבינה המלאכותית משבשים את הפוליטיקה האמריקאית
ניתוח
5 דקות
מ־Wired

כיצד מרכזי הנתונים והבינה המלאכותית משבשים את הפוליטיקה האמריקאית

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

קרא עוד
מיסטרל מנצלת את הטלטלה בארה״ב לקידום קוד פתוח
ניתוח
4 דקות
מ־Wired

מיסטרל מנצלת את הטלטלה בארה״ב לקידום קוד פתוח

לפי כתבה במגזין WIRED, מעבדת הבינה המלאכותית הצרפתית מיסטרל (Mistral) מנצלת את הטלטלה האחרונה בארצות הברית כדי לבסס את מעמדה כחלופה מובילה. בעוד ממשל טראמפ הטיל הגבלות על הפצת מודלים של OpenAI ו-Anthropic, ותקלות אבטחה העלו חשש לגבי מודלים סגורים, מיסטרל מציעה מודלים בעלי משקולות פתוחות. פתרונות אלו מאפשרים לארגונים מחוץ לארה"ב ולסין להריץ בינה מלאכותית על גבי תשתיות מקומיות ללא תלות בגורמים זרים, ובכך לחזק את הריבונות הטכנולוגית שלהם.

קרא עוד

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

לכל הכתבות
AWS מסייעת לסטארטאפ ה-Vibe-Coding בשם Superblocks וההשלכות גדולות
חדשות
3 דקות
מ־TechCrunch

AWS מסייעת לסטארטאפ ה-Vibe-Coding בשם Superblocks וההשלכות גדולות

סטארטאפ ה-vibe-coding בשם Superblocks הכריז על הסכם שיווק משותף רב-שנתי עם Amazon Web Services (AWS), המאפשר להטמיע את מוצריו ישירות בעננים הפרטיים של הלקוחות הארגוניים. שיתוף פעולה זה יאפשר למשתמשים עסקיים לבנות יישומים מבוססי AI מבלי לשלוח מידע ונתונים אל מחוץ לארגון, תוך שימוש בבסיסי נתונים של Amazon Aurora ואינטגרציה מלאה עם פלטפורמת Amazon Bedrock. המהלך משקף מגמה רחבה יותר בתעשיית הענן, לפיה ספקיות הענן הגדולות דוחקות בארגונים להפריד בין מודלי ה-AI לבין התשתיות והכלים המשמשים להפעלתם, ובכך להפחית עלויות ולהבטיח את אבטחת המידע הארגוני.

קרא עוד
הפרוטקציוניזם של ממשל טראמפ בתחום ה-AI מגיע לרובוטיקה
חדשות
4 דקות
מ־MIT Technology Review

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

דיווח בניוזלטר "The Algorithm" חושף כי נציבות הסחר הפדרלית של ארה"ב (ה-FTC), המיושרת עם ממשל טראמפ, הטילה איסור יבוא גורף על רובוטים מתקדמים מחו"ל, כולל רובוטים הומנואידים ורובוטים בעלי ארבע רגליים. ה-FTC מנמקת את המהלך בחששות לביטחון לאומי מפני איסוף מידע רחב, ובצורך להגן על תעשיית הרובוטיקה המקומית מפני התחרות הסינית. אולם, חוקרים ומעבדות בארה"ב מביעים חשש כבד: פגיעה ביבוא הרובוטים הזולים מסין – עליהם מתבססים כ-90% ממחקרי הרובוטיקה באוניברסיטאות בארה"ב – עלולה להוביל להאטה משמעותית של הענף כולו במקום לחיזוקו.

קרא עוד
תשתית Orchard: פלטפורמת קוד פתוח לאימון סוכני AI
חדשות
4 דקות
מ־Microsoft Research

תשתית Orchard: פלטפורמת קוד פתוח לאימון סוכני AI

חוקרים מ-Microsoft Research הציגו את Orchard, תשתית קוד פתוח חדשנית לאימון והערכה של סוכני בינה מלאכותית (Agentic AI) בקנה מידה רחב ובעלות נמוכה. המערכת מבוססת על Orchard Env, שירות סביבה קל-משקל המבוסס על Kubernetes, המאפשר לאמן סוכנים ישירות בתוך מעטפות פריסה אמיתיות כמו Codex ו-OpenClaw. הפרויקט כולל שלושה מודלים ייעודיים: Orchard-SWE המיועד להנדסת תוכנה ומגיע ל-73% ב-SWE-bench Verified עם מודל של כ-3 מיליארד פרמטרים פעילים בלבד; Orchard-GUI, סוכן דפדפן קל-משקל המשיג ממוצע של 68.4% במשימות ניווט ברשת; ו-Orchard-Claw, עוזר אישי למשימות פרודוקטיביות. הפלטפורמה מציעה גישה חדשה של למידה מצטברת המאפשרת לדורות הבאים של הסוכנים לרשת את ניסיון קודמיהם.

קרא עוד
הבינה המלאכותית כובשת את עולם התכנות, והיעד הבא הוא המזון המהיר
חדשות
5 דקות
מ־Wired

הבינה המלאכותית כובשת את עולם התכנות, והיעד הבא הוא המזון המהיר

לפי דיווח במגזין WIRED, רשתות המזון המהיר המובילות בארצות הברית משלבות במהירות מערכות הזמנה קוליות מבוססות בינה מלאכותית במסלולי הדרייב-תרו. לאחר תקופה ראשונית של קשיים וכישלונות ויראליים ברשתות החברתיות, מותגים כמו טאקו בל, דיירי קווין וווייט קאסל מדווחים על שיפור משמעותי במהירות השירות ועלייה בשיעור המכירות הצולבות, שמגיע ל-71% מההזמנות. בעוד שרשתות מסוימות כמו צ'יק-פילה ו-7Brew נמנעות מהמהלך כדי לשמור על קשר אנושי ישיר עם הלקוחות, הנתונים מראים כי האוטומציה הקולית מתרחבת בקצב מהיר, כאשר 97% מהלקוחות מדווחים על שביעות רצון מהשירות הממוחשב.

קרא עוד