אחרי המתמטיקה, ה-AI נכנס למעבדה: 36 כתבי יד ב-18 תחומים מראים איפה המודל מועיל ואיפה המומחה מכריע
במתמטיקה, הוכחה שמודל AI כותב יכולה לעבור בדיקה אוטומטית בשפת Lean, שמאמתת כל צעד לוגי. במדעי הטבע המבחן נשאר הניסוי, הנתונים מהשטח והמומחה שמחליט אם התוצאה מעניינת. הפער הזה מסביר למה ההתקדמות של OpenAI ואנתרופיק נראית מהירה במתמטיקה, ולמה במעבדות המצב מורכב יותר. ההוכחה של OpenAI לקיום תורת יאנג-מילס קיבלה אישור של ועדת פיזיקאים בזכות קוד Lean שעבר בדיקה, וחברי הוועדה מודים בעצמם שהם עדיין רחוקים מהבנה מלאה שלה.
הניסוי הרחב ביותר בצד המדעי מגיע ממתיו שוורץ, פיזיקאי תיאורטי מהרווארד שעובד כחוקר אורח באנתרופיק. בדיווח שפרסם באתר החברה הוא מתאר 36 כתבי יד ב-18 תחומים, עם 19 שותפים, שנכתבו בתוך כשלושה חודשים בעזרת Claude וערכת כלים פתוחה שבנה בשם BootLoops. הבחירה נעשתה מתוך כ-400 בעיות מועמדות, כלומר בערך אחת מכל 11 הבשילה לכתב יד. רוב העבודות הן טיוטות שממתינות לשיפוט מדעי.
הידעת?מה זה Lean?
בעיות "בצורת Claude"
השיטה של שוורץ מחפשת בעיות שבהן כלי מתמטי מתחום אחד פותר שאלה פתוחה בתחום אחר. המודל מכיר את הספרות של פיזיקת החלקיקים וגם של גנטיקת אוכלוסיות, ולכן מזהה שאותו סוג אינטגרל מופיע בשתיהן. בפיזיקה זה הניב 30 אינטגרלים מסוג אליפטי, מחציתם בפעם הראשונה. באקולוגיה המודל פתר משוואה של התיאוריה הנייטרלית של המגוון הביולוגי, שעמדה פתוחה בקנה מידה רחב כ-20 שנה, וחישב שהרכב מיני העצים ביער של האי בארו קולורדו בפנמה משתנה פי 4.5 מהר יותר ממה שהתיאוריה מאפשרת.
דווקא כאן נכנס האדם. אקולוג שהתייעץ איתו העריך שהממצא יתקבל באדישות, כי החוקרים בתחום כבר הבחינו בפער באופן איכותי, והציע להפחית את התחזית הנייטרלית ולחקור את מה שנשאר. כך נבנה מודל של אסטרטגיות חיים של עצים. "כמעט בכל המקרים Claude צדק בחישוב, אבל התוצאה נשארה שולית עד שהמומחה עזר לכוון אותנו", כתב שוורץ.
הנתונים קובעים את הקצב
המסקנה של שוורץ שמרנית יותר מהכותרות. לדבריו, רוב ההתקדמות המדעית נשענת על נתונים מהעולם האמיתי שצריך לאסוף, להבין ולבדוק, וה-AI יכול לזרז את המעגל הזה בלי לבטל אותו. הוא מונה גם תקלות חוזרות: המודל ממהר להכריז על הצלחה, מעריך זמנים בצורה גרועה ונוטה לבחור שאלות ישנות ומצוטטות. הפרויקטים גם צרכו כוח מחשוב רב, נתון שמתחבר לתחרות בין אנתרופיק ל-OpenAI על חוקרים כלקוחות. OpenAI מפרסמת הוכחות מתמטיות בקצב גבוה, ואנתרופיק משקיעה בכלים שמתאימים את המודל לעבודה מדעית.
הידעת?מהי התיאוריה הנייטרלית של המגוון הביולוגי?
הכיוון שעולה מהעבודות הוא מדע שבו המודל מבצע את החישוב, ואילו בחירת השאלה, הבדיקה מול נתונים ושיקול הדעת על החשיבות נשארים אצל החוקרים. בתחומים עשירים בנתונים ודלים בתיאוריה, כמו ביולוגיה של מערכות, שוורץ צופה צמיחה מהירה.
להרחבה: בינה מלאכותית הוכיחה שתורת יאנג-מילס קיימת: ועדת פיזיקאים אישרה את ההוכחה של OpenAI
להרחבה: שלושה משפטים פתוחים במתמטיקה, במחשבים ובפיזיקה: OpenAI טוענת שהמודלים שלה פתרו אותם
