תורת המספרים

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