השערת הזמן האקספוננציאלי בת 25 שנה, ושני מודלי AI טוענים שהפריכו אותה
שתי מעבדות AI, בהפרש של שעות, טוענות שהמודלים שלהן הפריכו השערה שמדעני מחשב נשענים עליה כבר 25 שנה. OpenAI פרסמה את הטענה ב-26 באוקטובר, ו-Anthropic פרסמה הוכחה משלה ב-27 באוקטובר (שעון ישראל). מדובר בהשערת הזמן האקספוננציאלי, ETH בקיצור. לפי החברות, שתי ההוכחות נבדקו במחשב בשפת ההוכחות Lean, אבל מומחים אנושיים עוד לא אישרו אף אחת … להמשך קריאה
