ההוכחה של פרמה, Claudeforce, ופסגת הבינה המלאכותית בין ארה"ב לסין

קלוד מפרמל את המשפט האחרון של פרמה באחד-עשר ימים

הוכחתו המפורסמת של אנדרו ויילס משנת 1995 למשפט האחרון של פרמה השתרעה על פני 129 עמודים של מתמטיקה אוניברסיטאית צפופה, ואיתור פרצה עדינה דרש עוד שנה נוספת לנסגור על ידי מיטב תיאורטיקאני המספרים בעולם. כעת, Anthropic עשתה משהו שקהילה גדולה זו של מומחים לא יכלה: תוך אחד-עשר ימים בלבד, נחיל של סוכני קלוד הפיק את הפרמול המלא הראשון שנבדק ממוכן של אותה הוכחה בכלי ההוכחה Lean.

הממדים היו יוצאי דופן. הסוכנים יצרו שישה מיליארד טוקנים של פלט וכתבו יותר משלושה עשר מיליון שורות קוד Lean — ההוכחה המאומתת ממוחשב הגדולה ביותר שנוצרה אי פעם — תוך ביסוס 29,500 משפטי ביניים בדרך. הנחיל פעל ברובו ללא התערבות אנושית, מונחה רק על ידי כיוון מתמטי ברמה גבוהה מחוקרי Anthropic ועל ידי גישה ל-Prove2ME, כלי קוד פתוח שעוזר לסוכני AI למצוא את הצעד הבא היעיל ביותר בזרימות עבודה של הוכחות ארוכות.

הפרמול של Anthropic עוקב אחר הנתיב הלוגי המקורי של ויילס: בניית עקומת פריי, משפט הורדת הרמה של ריבט, ומשפט המודולריות לעקומות אליפטיות חצי-יציבות. בדק הסוג של Lean הנפיק תעודה פורמלית המאשרת שכל שלב נובע ללא עוררין מאקסיומות המתמטיקה.

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

Claudeforce: Salesforce מהמרת על הסטק שלה עם קלוד

באחד מעסקות ה-AI הארגוניות המשמעותיות יותר של השנה, Salesforce ו-Anthropic חשפו את Claudeforce — שילוב עמוק שהופך את קלוד למודל ההסקה ברירת המחדל על פני כל חבילת המוצרים המלאה של Salesforce. הכריזו ב-26 באוגוסט ונכנסים לבטא פתוחה בספטמבר, העסקה מכסה את Agentforce (פלטפורמת הסוכנים האוטונומיים של Salesforce), Slack AI, Slackbot, Headless 360, ו-Agentforce Coworker. Claude Code ו-Claude Enterprise הם כעת כלי ה-AI המועדפים עבור כל כוח העבודה של Salesforce.

מרכז המסחר הוא Salesforce ב-Claude — תוסף שנותן לקלוד גישה מנוהלת לנתוני CRM חיים ו-37 מיומנויות מכירות מוכנות מראש, המאפשר למוכרים להפעיל עדכוני צינור, לנסח הצעות, ולבצע פעולות CRM ישירות מממשק קלוד. Anthropic הופכת לספקית LLM הראשונה המשולבת במלואה בגבול האמון של Salesforce, כלומר נתוני לקוחות יכולים לנוע בין פלטפורמות תחת בקרות הגנת נתוני הארגון של Salesforce מבלי לצאת מפריסת הממשל שלה.

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

ארה"ב וסין מתכוננות לשיחות הבטיחות הדו-צדדיות הראשונות שלהן בנושא AI

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

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

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

קליפורניה מצטרפת לחקירת OpenAI בעניין פריצת Hugging Face

המפקח הכללי של קליפורניה רוב בונטה הכריז השבוע שמשרדו פתח חקירה נגד OpenAI בקשר לאירוע האבטחה של Hugging Face, ומצטרף לעשרות מדינות שכבר בוחנות את החברה. החקירה מתמקדת בשאלה האם OpenAI פעלה שלא כחוק במהלך אירוע שבו גורמי איום חדרו לפלטפורמת Hugging Face — אותה פריצה שהניעה את רכישת Nvidia ב-12.9 מיליארד דולר של Hugging Face שהוכרזה ב-3 בספטמבר.

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