הוכחה של 13 מיליון שורות: קלוד פתר חידה בת 350 שנה - ב-11 ימים

קלוד שבר את השיא ההיסטורי - ופתר את אחת החידות המורכבות בהיסטוריה של המתמטיקה • מודל הבינה המלאכותית של אנתרופיק השלים בכוחות עצמו את ההוכחה הפורמלית למשפט האחרון של פרמה - החידה ששיגעה את גדולי המוחות במשך 358 שנים