מחקר4 בספטמבר 2026
AI פורץ דרך: Claude של Anthropic הוכיח את המשפט האחרון של פרמה
חברת אנתרופיק (Anthropic) מדווחת על פריצת דרך משמעותית בעולם המתמטיקה הממוחשבת: מודל ה-AI שלה, Claude, השלים הוכחה מלאה ומאומתת מחשבתית למשפט האחרון של פרמה. המודל פעל באופן כמעט אוטונומי במשך 11 ימים ויצר הוכחה בת 13 מיליון שורות קוד בשפת התכנות Lean, הכוללת 29,500 משפטי ביניים. הישג זה, שזכה לשבחים ממתמטיקאים מובילים, מציג פוטנציאל עצום לפישוט תהליכי אימות הוכחות מורכבות, צמצום טעויות, והאצת קצב המחקר המתמטי בעידן ה-AI.
קרא עוד