המעשה המופלא בלוח המסתורי פלימפטון 322

בדיוק סיימתי פוסט על אחת מהתעלומות הגדולות במדעי המחשב – תעלומה בקושי בת עשור וקצת. נראה לי די מתאים, אם כן, לעבור לדבר על תעלומה במתמטיקה שהמקור שלה הוא בן אלפי שנים (אם כי הפולמוס סביב אותו מקור הוא בן פחות ממאה שנה) – התעלומה של לוח החרס הבבלי שנקרא "פלימפטון 322" ואפשר לראות כאן: …

ההוכחה הארוכה ביותר בהיסטוריה! (או: איך פותרי SAT מתגברים על בעיות קומבינטוריות, אבל היי זה שם פחות מפוצץ)

לפני חודש וקצת הצליחה תוצאה מתמטית נחמדה להיכנס אל החדשות לא בשל הסיבות שבגללן היא טובה, אלא בעיקר אלו שבגללן היא בעייתית: ההוכחה שלה היא (לכאורה) בגודל מפלצתי של 200 טרה-בייט. כמה זה הרבה? נאמר, זה פי 40 יותר מידע מאשר היה בשרתי ויקיפדיה ב-2010, ויש עוד שלל המחשות. בקיצור, זה הרבה מאוד. הנתון הזה …