Autonomous Lab AI · גילוי חומרים בנהיגה עצמית
מעבדה בנהיגה עצמית אינה נכשלת משום שהממטב שלה חלש. היא נכשלת משום שחלק גדול מהניסויים שהיא מריצה הם בלתי אפשריים מבחינה כימית כבר מהשורה הראשונה של המתכון, ומשום ששום דבר מזה אינו ניתן להוכחה בדיעבד. במבחן ביצועים זה, לולאת ה-Design-Make-Test-Analyze הסגורה שלנו מגיעה למפרט קשיח ב-75 ניסויים שבהם סריקה אקראית זקוקה לכ-1,491, בעוד ששער בטיחות של תאום דיגיטלי חוסם כל סינתזה בלתי ישימה לפני שבזבזו ריאגנטים או שעות-רובוט, וחותם על כל החלטה ברשומת ALCOA+ מוגנת מפני שינויים. סוכנים מייעצים, קוד מחליט.
$4,419
בזבוז ריאגנטים ששער התאום הדיגיטלי מנע, בחסימת 38 סינתזות אבודות מראש וחיסכון של 90.1 שעות-רובוט
הרצת מבחן ביצועים עם גרעין 411, יעד סינתטי
פי 20× פחות
75 ניסויים לחומר העומד במפרט לעומת כ-1,491 בסריקה אקראית על אותו יעד מוסתר
הרצת מבחן ביצועים עם גרעין 411, פי 19.9 פחות
113
רשומות ALCOA+ מקושרות-גיבוב, אחת לכל החלטה, מוגנות מפני שינויים. ערוך אחת והשרשרת נשברת
הרצת מבחן ביצועים עם גרעין 411, 75 סינתזות ועוד 38 חסימות
הדגמה ניתנת להרצה של המנגנון על חיפוש הרכב ותהליך של פרובסקיט נטול עופרת ב-18 ממדים. הממטב ושער הבטיחות פועלים במלואם ב-numpy ו-scipy ללא מפתח API; שני סוכני הייעוץ הם החלק היחיד שיכול לקרוא למודל.
צוואר הבקבוק אינו מודל הסורוגייט. אלו הניסויים הנדונים לכישלון שהמודל מעולם לא היה צריך להציע, והעובדה ששום דבר מזה אינו ניתן להוכחה לאחר מכן.
ה-A-Lab של ברקלי דיווח על שיעור הצלחה של 71 אחוז, מה שאומר שכ-29 אחוז מהניסיונות שלו לא הניבו את היעד (A-Lab, Nature, 2023). במעבדה שמנהלת את עצמה, שיעור כשל זה אינו רק אובדן תפוקה. אלו ריאגנטים שנמזגו, שעות-רובוט שהוזמנו וזמן מכשור שנשרף על סינתזות שהיו בלתי מאוזנות מבחינת מטען, בלתי יציבות גאומטרית או מסוכנות כימית עוד לפני שהרובוט בכלל זז.
מרחב החיפוש מחמיר את המצב. מרחב הרכב ותהליך של פרובסקיט בסדר גודל כזה גדול באופן אסטרונומי מכל תקציב סריקה, כך שסריקה טהורה אינה אסטרטגיה, אלא הגרלה. בדיקת ישימות נפרדת במבחן ביצועים זה מצאה שיעור פגיעה אקראי של 0.01 אחוז, 8 מועמדים מתוך 80,000, מה שמצביע על סדר גודל של 10,000 ניסויים הצפויים כדי להגיע ליעד ראשון באמצעות סריקה בלבד. פונקציית רכישה טובה יותר עוזרת בחצי הזה של הבעיה.
היא אינה עושה דבר עבור החצי השני. מודל תכונות, טוב ככל שיהיה, אינו יכול להחליט אם סינתזה בטוחה לניסיון, ואינו יכול להפיק רשומה שרגולטור או ה-QA שלכם יקבלו. עקרונות ההנחיה של ה-FDA וה-EMA ל-AI בפיתוח תרופות מפורשים בכך שמקור הנתונים חייב להיות מיוחס ובן-זמנו (FDA/EMA, 2026). ישימות ויכולת ביקורת הן בדיוק החלקים שהמודל אינו נוגע בהם, והן שני הפערים שיצאנו לסגור.
מחזור Design-Make-Test-Analyze אחד, מוצג שלב אחר שלב. החלטת הישימות מתקיימת בקוד פשוט, לעולם לא בתוך מודל.
הלולאה מחפשת במרחב פרובסקיט נטול עופרת ב-18 ממדים: יחסי קטיונים Cs, MA ו-FA, החלפת אתר B של Sn, Ge ו-Bi, יחסי הלידים I, Br ו-Cl, בתוספת משתני תהליך. סורוגייט תהליך גאוסיאני עם רכישה מכוונת יעד בסגנון ParEGO מציע את המועמד הבא, בהתנעה קרה ממתקן היסטורי בן 60 רשומות. כל הצעה עוברת לאחר מכן דרך השער לפני שמשהו מסונתז, כך שהשער, ולא הביטחון של הממטב, הוא מה שעומד בין מתכון לבין הרובוט.
שער התאום הדיגיטלי הוא החלק שמחוץ לכל מודל שפה. כל מועמד מוצע נבדק מול חמישה כללי כימיה אמיתיים ומפורסמים לפני שהוא יכול לצרוך ריאגנט כלשהו, והשער מחזיר ישים או חסום עם הכלל המדויק שהופר ותקציב הריאגנטים ושעות-הרובוט שנחסכו. זהו קוד numpy ו-scipy פשוט, הוא יושב מחוץ לסוכנים ולסורוגייט, והוא ההחלטה נושאת העומס. מתכון אבוד מראש נעצר כאן, ולא מתגלה לאחר שהרובוט כבר הריץ אותו.
על גבי הליבה, שני סוכנים קוראים ומתקשרים. Lab Director מקריין את אסטרטגיית הקמפיין, ו-Critic מסמן באופן עצמאי סחיפה או קיפאון, כמאמת בתוך הלולאה. הם ניתנים להחלפת ספק באמצעות הגדרת LLM_PROVIDER וברירת המחדל שלהם היא claude-opus-4-8; ללא מפתח הם נסוגים לקריינות דטרמיניסטית כך שההדגמה תמיד רצה. הממטב והשער לעולם אינם תלויים ב-LLM. סוכנים מייעצים, קוד מחליט.
| בדיקה | מה היא תופסת | בסיס |
|---|---|---|
| Goldschmidt tolerance factor | הרכב מחוץ לחלון יכולת יצירת הפרובסקיט; השער משתמש בטווח סריקה של 0.78 עד 1.05. | כימיית גבישי פרובסקיט |
| Octahedral factor | יחס רדיוסים מחוץ לחלון האוקטהדרונים היציבים של 0.41 עד 0.90. | כימיית גבישי פרובסקיט |
| Charge neutrality | מטען אתר B לא מפוצה, לדוגמה מהחלפת Bi(III). | מאזן מטען יוני |
| Sn(II) oxidation hazard | Sn(II) שמתחמצן באוויר לח, לא בטוח ונדון לכישלון בלחות התהליך. | יציבות בדיל-הליד |
| Decomposition ceiling | הרפיה מעל הטמפרטורה שבה קטיוני MA ו-FA מתפרקים, כ-190 מעלות צלזיוס. | יציבות תרמית של הפרקורסור |
הערך בר-הקיימא הוא שער הבטיחות ונתיב הביקורת, לא סורוגייט טוב יותר. אפילו מודל תכונות מושלם עדיין אינו יכול לעצור סינתזה בלתי מאוזנת מבחינת מטען או בעלת סיכון חמצון מלהתבצע, ואינו יכול להפיק רשומה שרגולטור יקבל. הממטב הוא רכיב אחד שניתן להחלפה בתוך שכבת בקרה זו, וזו הסיבה שהגישה אינה מתיישנת ככל שהמודלים משתפרים. כפי שמסופק, הממטב הוא GP של numpy ו-scipy עם רכישה מכוונת יעד; החלופות בייצור הן BoTorch ו-Ax.
כל מספר להלן לקוח מקמפיין מבחן ביצועים דטרמיניסטי יחיד (גרעין 411), המחושב בזמן אמת בעת ההרצה, ולא מקודד מראש. היעד הוא מבחן ביצועים סינתטי בעל הנעה פיזיקלית, לא נתוני DFT או נתוני מעבדה אמיתיים, והמעבדה היא סימולטור מאחורי ממשק במבנה SiLA-2. שום דבר כאן לא סונתז פיזית.
הלולאה הסגורה מגיעה למפרט היעד בניסוי 75, תוך שימוש בפי 19.9 פחות ניסויים מכ-1,491 שניסוי סריקה אקראית היה צופה על אותו יעד מוסתר זהה. לצד זה, לוח התוצאות עוקב אחר המספרים שחשובים יותר מהמהירות: 4,419 דולר ארה"ב של בזבוז ריאגנטים שנמנע, 90 שעות-רובוט שנחסכו, ו-38 מועמדים בלתי ישימים שנחסמו לפני סינתזה, כאשר סטטוס המפרט מציג 'המפרט הושג' (spec met). היעילות אמיתית, אך הבזבוז שנמנע ומקור הנתונים הם החלקים שנשארים תקפים בכל איכות מודל.
הנה חסימה אחת בפירוט. מועמד מוצע נושא סיכון חמצון Sn(II) בלחות התהליך, ופער האנרגיה החזוי שלו, יציבות הפאזה והפירוק שלו כולם מחוץ ליעד. השער דוחה אותו לפני סינתזה, ובכך חוסך 105 דולר ארה"ב של ריאגנט ו-2.33 שעות-רובוט, וכותב את הסירוב כרשומת ALCOA+ מקושרת-גיבוב. הממטב לעולם אינו מגיע לבזבז שעת-רובוט כדי לגלות את מה שהכימיה הדטרמיניסטית כבר ידעה.
החסימה הבודדת אינה תפיסה מקרית מוצלחת, היא הדפוס הקבוע. לאורך כל ההרצה חסם השער 38 מועמדים בלתי ישימים לפני סינתזה, וכל אחד מהם מציין את הפיזיקה שהפר: סכנת חמצון Sn(II), הפרת ניטרליות מטען מאתר B לא מפוצה, או מקדם סבילות גולדשמידט מחוץ לחלון יכולת היצירה, יחד עם הדולרים ושעות-הרובוט שנחסכו. סך החסימות מסתכם ב-4,419 דולר ארה"ב וב-90 שעות-רובוט של בזבוז שנמנע, ואפס סינתזות בלתי ישימות בוצעו בפועל.
מפת הגילוי מתווה כל חומר שהלולאה סינתזה בסימולציה במרחב של פער אנרגיה לעומת יציבות פאזה, בצבעים לפי טמפרטורת פירוק, עם תיבה מקווקוות המסמנת את חלון היעד: פער אנרגיה של 1.2 עד 1.5 eV עם יציבות גבוהה. נקודות ראשוניות מתפזרות; נקודות מאוחרות יותר מתקבצות לכיוון התיבה ככל שהסורוגייט לומד, והחומר הטוב ביותר נוחת בתוכה. זהו הממטב שעושה את עבודתו, אך רק על המועמדים שהשער אישר להעביר.
החומר הטוב ביותר שנמצא עומד בכל מפרט: הרכב (Cs0.46MA0.22FA0.31)(Sn0.69Ge0.31)(I0.73Br0.21Cl0.06)3, עם פער אנרגיה של 1.43 eV, ציון יציבות פאזה של 0.743, וטמפרטורת פירוק של 250.5 מעלות צלזיוס. כדי להבהיר את היקף הדברים, זהו פלט של יעד סינתטי בעל הנעה פיזיקלית, לא חומר שמישהו ייצר בפועל. זוהי הוכחה לכך שהלולאה מתכנסת, ולא טענה לגילוי אמיתי.
כל החלטה, הן 75 הסינתזות והן 38 החסימות, נכתבת לרשומה בשיטת append-only, 113 בסך הכל, ומיוצאת כדוח מקור נתונים של הקמפיין הממופה לעקרונות ALCOA+. כל שורה נושאת את חותמת הזמן שלה, פעולה, מועמד, פסק דין של השער, הפרות, נימוק, וגיבוב SHA-256 המקשר אותה לרשומה שלפניה. הדוח קורא 'השרשרת שלמה ומוגנת מפני שינויים', שזהו מקור הנתונים המיוחס ובן-זמנו שמעבדה מוסדרת נדרשת להגיש.
הגנה מפני שינויים שווה הצהרה רק אם אפשר לצפות בה מופעלת בזמן אמת. ערוך מטען נתונים בודד בביקורת המיוצאת והמאמת מדווח כי השרשרת נשברה באותה רשומה, זוהתה חבלה, ומצהיר כי הביקורת שהוגשה שונתה באופן מוכח. הנקודה אינה שלא ניתן לשנות את הרשומה, אלא שלא ניתן להסתיר שינוי, וזה מה שהופך את נתיב הביקורת לבר-הגנה.
זהו המוח, שער הבטיחות ושכבת מקור הנתונים על גבי החומרה הקיימת שלכם, לא מעבדה מתארחת ולא תחליף למכשירים שלכם או ל-DFT.
| סוגיה | מודל תכונות או ממטב בלבד | שכבה זו |
|---|---|---|
| הצעות בלתי אפשריות מבחינה כימית | מסונתזות, ולאחר מכן מקבלות ציון ככישלונות | נחסמות על ידי שער דטרמיניסטי לפני שבזבזו ריאגנט כלשהו |
| מדוע מועמד נדחה | קבור בפונקציית ההפסד, אם תועד בכלל | מצוין בשמו כנגד חמישה כללי כימיה מפורסמים, עם הדולרים והשעות שנחסכו |
| מקור נתונים של החלטה אוטומטית | יומני ad hoc, ניתנים לעריכה | רשומת ALCOA+ בשיטת append-only, מקושרת-גיבוב, מוגנת מפני שינויים |
| מי מקבל את החלטת הבטיחות | מודל LLM, או הביטחון העצמי של הממטב עצמו | קוד דטרמיניסטי פשוט מחוץ לסוכנים |
| יעילות דגימה | משתנה בהתאם לפונקציית הרכישה | 75 לעומת כ-1,491 ניסויים להשגת המפרט ביעד המוסתר של מבחן ביצועים זה |
| נעילת ספק לחומרה ולמודל | לעתים קרובות מחסנית מתארחת | פועל על המכשירים שלכם דרך ממשק במבנה SiLA-2, ספק LLM ניתן להחלפה |
השכבה היא המוח, שער הבטיחות ורשומת מקור הנתונים היושבים על גבי חומרה שכבר בבעלותכם. הלולאה הסגורה מחליטה מה להריץ הלאה ומגיעה למפרט קשיח בהרבה פחות ניסויים, שער תאום דיגיטלי דטרמיניסטי מסרב לסינתזות בלתי אפשריות מבחינה כימית או מסוכנות לפני שהן צורכות ריאגנטים ושעות-רובוט, וכל החלטה נרשמת בנתיב ביקורת מוגן מפני שינויים. במבחן ביצועים זה, השער חסם 38 סינתזות אבודות מראש וחסך 4,419 דולר ארה"ב ו-90.1 שעות-רובוט, ואפס ניסויים בלתי ישימים הגיעו לרובוט.
לא, ואנו מפורשים לגבי זה. היעד הוא מבחן ביצועים סינתטי בעל הנעה פיזיקלית, לא נתוני DFT או מעבדה אמיתיים, והמעבדה היא סימולטור מאחורי ממשק במבנה SiLA-2, כך ששום דבר כאן לא יוצר פיזית. מה שההדגמה מוכיחה הוא המנגנון, הלולאה, שער הבטיחות הדטרמיניסטי ומקור הנתונים הניתן לביקורת, אשר נשארים תקפים בכל איכות מודל. ההרכב שהתגלה וערכי התכונות שלו הם פלטים של מבחן ביצועים, לא תוצאה ניסויית.
האילוצים של ממטב יושבים בתוך אותו מודל שמנסה לפגוע ביעד, והם מהימנים רק כמו הדיווח העצמי של אותו מודל. השער שלנו הוא קוד נפרד ודטרמיניסטי שפועל מחוץ לסוכנים ולסורוגייט, והוא בודק כל הצעה מול חמישה כללי כימיה מפורסמים: סבילות גולדשמידט, פקטור אוקטהדרלי, ניטרליות מטען, חמצון Sn(II) בלחות ותקרת הפירוק של הפרקורסור האורגני. הוא מחזיר ישים או חסום עם הכלל המדויק שהופר והדולרים ושעות-הרובוט שנמנעו, כך שמתכון אבוד מראש נעצר עוד לפני שהרובוט רואה אותו אי פעם.
מכיוון שהסוכנים לעולם אינם מקבלים את ההחלטה. סוכני ה-Lab Director וה-Critic רק מקריינים אסטרטגיה ומסמנים סחיפה, בעוד שהממטב והשער הדטרמיניסטי מחליטים מה רץ, ואף אחד מהם אינו תלוי ב-LLM. ללא מפתח API הסוכנים נסוגים לקריינות דטרמיניסטית והלולאה עדיין רצה בצורה זהה. הפרדה זו, סוכנים מייעצים וקוד מחליט, היא כל העניין: אמון במעבדה בנהיגה עצמית אינו יכול להישען על הדיווח של המודל על עצמו.
מקור הנתונים קיים וממופה לעקרונות ALCOA+: כל החלטה כותבת רשומה בשיטת append-only מקושרת-גיבוב, ועריכת רשומה כלשהי שוברת את השרשרת באופן גלוי לעין, וזהו מקור הנתונים המיוחס ובן-זמנו שעקרונות ההנחיה של ה-FDA וה-EMA דורשים (FDA/EMA, 2026). זה אינו מתוקף לפי IQ, OQ או PQ כנגד ה-SOP שלכם, ותיקוף זה הוא נושא ההתקשרות, ולא משהו שאנו טוענים לו כברירת מחדל. ההדגמה מציגה את הרשומה ואת בדיקת החבלה כדי שתוכלו לשפוט את המהות ולא רק לסמן תיבת סימון.
זוהי הרצה דטרמיניסטית אחת, גרעין 411: 75 ניסויים לחומר העומד במפרט לעומת כ-1,491 הצפויים בסריקה אקראית על אותו יעד מוסתר זהה, שזה פי 19.9 פחות. במבחן ביצועים של 10 גרעינים הלולאה השיגה ממוצע של 67 ניסויים ופתרה 9 מתוך 10 הרצות, בעוד שסריקה אקראית פתרה 1 מתוך 5 בתוך 1,000 וסריקת רשת מעולם לא הגיעה למפרט. ההיקף משנה: אלו מספרי ממטב-לעומת-בסיס על יעד סינתטי, שהורצו כנגד קווי בסיס הניתנים לשחזור ולא כנגד איש קש, ולא הבטחה לעולם הפתוח.
לא. איננו מפעילים מעבדה רובוטית מתארחת, והשכבה מתוכננת לשבת על גבי המכשירים שלכם דרך ממשק במבנה SiLA-2. הממטב והשער הם קוד numpy ו-scipy פשוט ופועלים באופן לא מקוון לחלוטין ללא מפתח API, וספק ה-LLM ניתן להחלפה, כאשר ברירת המחדל היא claude-opus-4-8. כפי שמסופק, הממטב הוא GP עם רכישה מכוונת יעד, והחלופות בייצור הן BoTorch ו-Ax, על החומרה שלכם, לא שלנו.
המחקר שמאחורי הדגמה זו — הארכיטקטורה, תכנון האימות והתוכנית הארגונית.
פתרון מלא
גלו את פתרון Autonomous Lab AI →הגיעו למפרט בפחות ניסויים, חסמו את הניסויים הנדונים לכישלון לפני שהם רצים, והוכיחו כל החלטה בדיעבד.
אם הצוות שלכם מקים מעבדה בנהיגה עצמית ובוחן כיצד להפוך את החלטת הישימות למהימנה ואת מקור הנתונים לבר-הגנה, נשמח מאוד לשמוע כיצד אתם חושבים על כך. הבעיה היא כלל-תעשייתית והתשובות יהיו כאלה גם כן.