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 רשומות. כל הצעה עוברת לאחר מכן דרך השער לפני שמשהו מסונתז, כך שהשער, ולא הביטחון של הממטב, הוא מה שעומד בין מתכון לבין הרובוט.

סורוגייט GP (הצעה) → שער תאום דיגיטלי (ישים או חסום, קוד טהור) → סינתזה ואפיון, במבנה SiLA-2 (מדומה) → ניתוח ועדכון סורוגייט → רשומת ALCOA+ (מקושרת-גיבוב). סוכני Lab Director ו-Critic מקריינים ומסמנים סחיפה במקביל, לעולם אינם מחליטים.

ליבת האמון הדטרמיניסטית

שער התאום הדיגיטלי הוא החלק שמחוץ לכל מודל שפה. כל מועמד מוצע נבדק מול חמישה כללי כימיה אמיתיים ומפורסמים לפני שהוא יכול לצרוך ריאגנט כלשהו, והשער מחזיר ישים או חסום עם הכלל המדויק שהופר ותקציב הריאגנטים ושעות-הרובוט שנחסכו. זהו קוד 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). היעילות אמיתית, אך הבזבוז שנמנע ומקור הנתונים הם החלקים שנשארים תקפים בכל איכות מודל.

לוח התוצאות החי מציג 75 ניסויים שהורצו, פי 19.9 פחות מכ-1,491 של סריקה אקראית, 4,419 דולר ארה"ב של בזבוז שנמנע על ידי התאום הדיגיטלי, 90 שעות-רובוט שנחסכו, 38 מועמדים בלתי ישימים שנחסמו לפני סינתזה, וסטטוס מפרט 'המפרט הושג' (spec met) בניסוי 75.
לוח התוצאות: 75 ניסויים, פי 19.9 פחות מאקראי, $4,419 ו-90 שעות-רובוט נחסכו, 38 בלתי ישימים נחסמו, המפרט הושג בניסוי 75.

הגורם המבדל: מתכון אבוד מראש נעצר לפני שהגיע לרובוט

הנה חסימה אחת בפירוט. מועמד מוצע נושא סיכון חמצון Sn(II) בלחות התהליך, ופער האנרגיה החזוי שלו, יציבות הפאזה והפירוק שלו כולם מחוץ ליעד. השער דוחה אותו לפני סינתזה, ובכך חוסך 105 דולר ארה"ב של ריאגנט ו-2.33 שעות-רובוט, וכותב את הסירוב כרשומת ALCOA+ מקושרת-גיבוב. הממטב לעולם אינו מגיע לבזבז שעת-רובוט כדי לגלות את מה שהכימיה הדטרמיניסטית כבר ידעה.

חלונית פרטי מועמד חסום המציגה 'נחסם לפני סינתזה', עם פער אנרגיה חזוי, יציבות פאזה ופירוק המסומנים כולם מחוץ ליעד, סכנת חמצון Sn(II) בלחות התהליך כסיבה, 105 דולר ארה"ב של ריאגנט ו-2.33 שעות-רובוט שנחסכו, וקבלה של ALCOA+ מקושרת-גיבוב עבור רשומה 111.
חסימה בודדת: תכונות חזויות מחוץ ליעד, סכנת חמצון Sn(II) שצוינה בשמה, ו-$105 בתוספת 2.33 שעות-רובוט שנחסכו לפני סינתזה.

שלושים ושמונה חסימות, כל אחת מציינת את הכימיה שלה

החסימה הבודדת אינה תפיסה מקרית מוצלחת, היא הדפוס הקבוע. לאורך כל ההרצה חסם השער 38 מועמדים בלתי ישימים לפני סינתזה, וכל אחד מהם מציין את הפיזיקה שהפר: סכנת חמצון Sn(II), הפרת ניטרליות מטען מאתר B לא מפוצה, או מקדם סבילות גולדשמידט מחוץ לחלון יכולת היצירה, יחד עם הדולרים ושעות-הרובוט שנחסכו. סך החסימות מסתכם ב-4,419 דולר ארה"ב וב-90 שעות-רובוט של בזבוז שנמנע, ואפס סינתזות בלתי ישימות בוצעו בפועל.

הרשימה המלאה של 'נחסם על ידי התאום הדיגיטלי' המציגה 38 מועמדים בלתי ישימים שנתפסו לפני סינתזה, כאשר כל שורה מציינת את ההפרה שלה כגון סכנת חמצון Sn(II), הפרת ניטרליות מטען, או מקדם סבילות גולדשמידט מחוץ לחלון יכולת היצירה, עם הדולרים ושעות-הרובוט שנחסכו לכל מועמד ובסך הכל 4,419 דולר ו-90 שעות-רובוט של בזבוז שנמנע.
כל 38 החסימות, כל אחת עם הפרת הכימיה שצוינה בשמה ותקציב הריאגנטים ושעות-הרובוט שחסכה, ואף אחת מהן לא סונתזה מעולם.

הלולאה מנווטת אל תוך תיבת מפרט היעד

מפת הגילוי מתווה כל חומר שהלולאה סינתזה בסימולציה במרחב של פער אנרגיה לעומת יציבות פאזה, בצבעים לפי טמפרטורת פירוק, עם תיבה מקווקוות המסמנת את חלון היעד: פער אנרגיה של 1.2 עד 1.5 eV עם יציבות גבוהה. נקודות ראשוניות מתפזרות; נקודות מאוחרות יותר מתקבצות לכיוון התיבה ככל שהסורוגייט לומד, והחומר הטוב ביותר נוחת בתוכה. זהו הממטב שעושה את עבודתו, אך רק על המועמדים שהשער אישר להעביר.

מפת הגילוי, תרשים פיזור של חומרים מסונתזים המותווים לפי פער אנרגיה בציר ה-x ויציבות פאזה בציר ה-y בצבעים לפי טמפרטורת פירוק, עם תיבת מפרט יעד מקווקוות באזור השמאלי העליון והחומר הטוב ביותר המוצג כנקודה בהירה היושבת בתוך חלון יעד זה.
פער אנרגיה לעומת יציבות פאזה: נקודות מסונתזות מנווטות לעבר תיבת היעד המקווקוות, כאשר החומר הטוב ביותר נוחת בתוכה.

החומר העומד במפרט, בניסוי 75

החומר הטוב ביותר שנמצא עומד בכל מפרט: הרכב ‎(Cs0.46MA0.22FA0.31)(Sn0.69Ge0.31)(I0.73Br0.21Cl0.06)3‎, עם פער אנרגיה של 1.43 eV, ציון יציבות פאזה של 0.743, וטמפרטורת פירוק של 250.5 מעלות צלזיוס. כדי להבהיר את היקף הדברים, זהו פלט של יעד סינתטי בעל הנעה פיזיקלית, לא חומר שמישהו ייצר בפועל. זוהי הוכחה לכך שהלולאה מתכנסת, ולא טענה לגילוי אמיתי.

חלונית 'החומר הטוב ביותר שנמצא' המסומנת ב-'עומד בכל מפרט', המציגה את ההרכב ‎(Cs0.46MA0.22FA0.31)(Sn0.69Ge0.31)(I0.73Br0.21Cl0.06)3‎ עם פער אנרגיה של 1.43 eV, ציון יציבות פאזה של 0.743, וטמפרטורת פירוק של 250.5 מעלות צלזיוס.
ההרכב העומד במפרט בניסוי 75, מתוך יעד סינתטי: פער אנרגיה 1.43 eV, יציבות 0.743, פירוק 250.5 מעלות צלזיוס.

הקבלה: 113 רשומות, השרשרת שלמה

כל החלטה, הן 75 הסינתזות והן 38 החסימות, נכתבת לרשומה בשיטת append-only,‏ 113 בסך הכל, ומיוצאת כדוח מקור נתונים של הקמפיין הממופה לעקרונות ALCOA+. כל שורה נושאת את חותמת הזמן שלה, פעולה, מועמד, פסק דין של השער, הפרות, נימוק, וגיבוב SHA-256 המקשר אותה לרשומה שלפניה. הדוח קורא 'השרשרת שלמה ומוגנת מפני שינויים', שזהו מקור הנתונים המיוחס ובן-זמנו שמעבדה מוסדרת נדרשת להגיש.

דוח מקור נתוני הקמפיין המיוצא הממופה ל-ALCOA+, עם הכותרת קמפיין SDL-411 עם 113 רשומות ושרשרת שלמה מוגנת מפני שינויים, המציג טבלת החלטות עם עמודות עבור חותמת זמן, פעולה של חסימה או הצעה-וסינתזה, מועמד, פסק דין של השער, הפרות, נימוק, וגיבוב המקשר כל שורה לקודמתה.
דוח ה-ALCOA+ המיוצא: 113 רשומות מקושרות-גיבוב, שרשרת שלמה, שורה אחת לכל החלטה אוטונומית כולל כל חסימה.

בדיקת החבלה: ערוך רשומה אחת והשרשרת נשברת באופן גלוי לעין

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

חלונית מקור הנתונים של ALCOA+ לאחר בדיקת החבלה, המציגה אזהרה אדומה שהשרשרת נשברה ברשומה 2, זוהתה חבלה, וכי הביקורת שהוגשה שונתה באופן מוכח, לצד תג 113 הרשומות ובקרות הייצוא.
בדיקת החבלה: לאחר עריכת רשומה אחת, השרשרת נשברת באותה רשומה והביקורת ששונתה מסומנת ככזו שחובלה באופן מוכח.

היכן שכבה זו יושבת, והיכן לא

זהו המוח, שער הבטיחות ושכבת מקור הנתונים על גבי החומרה הקיימת שלכם, לא מעבדה מתארחת ולא תחליף למכשירים שלכם או ל-DFT.

סוגיה מודל תכונות או ממטב בלבד שכבה זו
הצעות בלתי אפשריות מבחינה כימית מסונתזות, ולאחר מכן מקבלות ציון ככישלונות נחסמות על ידי שער דטרמיניסטי לפני שבזבזו ריאגנט כלשהו
מדוע מועמד נדחה קבור בפונקציית ההפסד, אם תועד בכלל מצוין בשמו כנגד חמישה כללי כימיה מפורסמים, עם הדולרים והשעות שנחסכו
מקור נתונים של החלטה אוטומטית יומני ad hoc, ניתנים לעריכה רשומת ALCOA+ בשיטת append-only, מקושרת-גיבוב, מוגנת מפני שינויים
מי מקבל את החלטת הבטיחות מודל LLM, או הביטחון העצמי של הממטב עצמו קוד דטרמיניסטי פשוט מחוץ לסוכנים
יעילות דגימה משתנה בהתאם לפונקציית הרכישה 75 לעומת כ-1,491 ניסויים להשגת המפרט ביעד המוסתר של מבחן ביצועים זה
נעילת ספק לחומרה ולמודל לעתים קרובות מחסנית מתארחת פועל על המכשירים שלכם דרך ממשק במבנה SiLA-2, ספק LLM ניתן להחלפה

מה שהדגמה זו אינה עושה

  • היעד, הפרובסקיט שהתגלה וכל ערך תכונה הם מבחן ביצועים סינתטי בעל הנעה פיזיקלית, ולא DFT אמיתי, משיכה מ-Materials Project או נתוני מעבדה. שום דבר לא סונתז פיזית; המעבדה היא סימולטור מאחורי ממשק במבנה SiLA-2.
  • פי 20 פחות ניסויים, הגילוי ב-75 ניסויים ו-4,419 דולר ארה"ב שנחסכו הם המספרים של מבחן ביצועים זה על יעד סינתטי מוסתר, ולא התחייבות לעולם הפתוח. במבחן ביצועים של 10 גרעינים, הלולאה פתרה 9 מתוך 10 הרצות, לא 10 מתוך 10, והלולאה עצמה סופגת כ-10 עד 15 אחוז כשלים רובוטיים.
  • מקור הנתונים לפי ALCOA+ קיים וממופה, אך אינו מתוקף לפי IQ,‏ OQ או PQ כנגד ה-SOP שלכם. תיקוף זה הוא נושא ההתקשרות, ולא טענה המוצגת כאן.
  • אין מנהלי התקנים אמיתיים למכשירים, אין סורוגייט DFT או CGCNN אמיתי, ואין תזמון מרובה-מכשירים. אלה נדחו לשלבים הבאים.
  • כפי שמסופק, הממטב הוא GP של numpy ו-scipy עם רכישה מכוונת יעד. BoTorch ו-Ax הם החלופה בייצור, לא מנוע ההדגמה.
  • איננו מפעילים מעבדה רובוטית מתארחת ואיננו משכפלים ספק מעבדות אוטונומיות קיים. השכבה מתוכננת לשבת על גבי חומרה שכבר נמצאת בבעלותכם.
  • אין לקוחות אמיתיים, מעבדות נקובות בשם, עדויות או החזר השקעה (ROI) נטען. המסגור הכן הוא מה שמצאנו במהלך בניית הדגמה זו.

שאלות שקונים שואלים

כבר קנינו את הרובוטים ואת ה-ELN. מה שכבת מעבדה אוטונומית באמת מוסיפה?

השכבה היא המוח, שער הבטיחות ורשומת מקור הנתונים היושבים על גבי חומרה שכבר בבעלותכם. הלולאה הסגורה מחליטה מה להריץ הלאה ומגיעה למפרט קשיח בהרבה פחות ניסויים, שער תאום דיגיטלי דטרמיניסטי מסרב לסינתזות בלתי אפשריות מבחינה כימית או מסוכנות לפני שהן צורכות ריאגנטים ושעות-רובוט, וכל החלטה נרשמת בנתיב ביקורת מוגן מפני שינויים. במבחן ביצועים זה, השער חסם 38 סינתזות אבודות מראש וחסך 4,419 דולר ארה"ב ו-90.1 שעות-רובוט, ואפס ניסויים בלתי ישימים הגיעו לרובוט.

האם זו תגלית אמיתית? האם באמת סינתזתם את הפרובסקיט הזה?

לא, ואנו מפורשים לגבי זה. היעד הוא מבחן ביצועים סינתטי בעל הנעה פיזיקלית, לא נתוני DFT או מעבדה אמיתיים, והמעבדה היא סימולטור מאחורי ממשק במבנה SiLA-2, כך ששום דבר כאן לא יוצר פיזית. מה שההדגמה מוכיחה הוא המנגנון, הלולאה, שער הבטיחות הדטרמיניסטי ומקור הנתונים הניתן לביקורת, אשר נשארים תקפים בכל איכות מודל. ההרכב שהתגלה וערכי התכונות שלו הם פלטים של מבחן ביצועים, לא תוצאה ניסויית.

במה שונה שער תאום דיגיטלי מהאילוצים שכבר קיימים בממטב הבייסיאני שלנו?

האילוצים של ממטב יושבים בתוך אותו מודל שמנסה לפגוע ביעד, והם מהימנים רק כמו הדיווח העצמי של אותו מודל. השער שלנו הוא קוד נפרד ודטרמיניסטי שפועל מחוץ לסוכנים ולסורוגייט, והוא בודק כל הצעה מול חמישה כללי כימיה מפורסמים: סבילות גולדשמידט, פקטור אוקטהדרלי, ניטרליות מטען, חמצון Sn(II) בלחות ותקרת הפירוק של הפרקורסור האורגני. הוא מחזיר ישים או חסום עם הכלל המדויק שהופר והדולרים ושעות-הרובוט שנמנעו, כך שמתכון אבוד מראש נעצר עוד לפני שהרובוט רואה אותו אי פעם.

אתם מריצים סוכני LLM במעבדה. איך אדע שהזיה לא תשיק ניסוי גרוע?

מכיוון שהסוכנים לעולם אינם מקבלים את ההחלטה. סוכני ה-Lab Director וה-Critic רק מקריינים אסטרטגיה ומסמנים סחיפה, בעוד שהממטב והשער הדטרמיניסטי מחליטים מה רץ, ואף אחד מהם אינו תלוי ב-LLM. ללא מפתח API הסוכנים נסוגים לקריינות דטרמיניסטית והלולאה עדיין רצה בצורה זהה. הפרדה זו, סוכנים מייעצים וקוד מחליט, היא כל העניין: אמון במעבדה בנהיגה עצמית אינו יכול להישען על הדיווח של המודל על עצמו.

נתיב הביקורת שלנו חייב לספק את ה-FDA וה-EMA ואת ה-QA שלנו. האם זה מתוקף GxP?

מקור הנתונים קיים וממופה לעקרונות ALCOA+: כל החלטה כותבת רשומה בשיטת append-only מקושרת-גיבוב, ועריכת רשומה כלשהי שוברת את השרשרת באופן גלוי לעין, וזהו מקור הנתונים המיוחס ובן-זמנו שעקרונות ההנחיה של ה-FDA וה-EMA דורשים (FDA/EMA, 2026). זה אינו מתוקף לפי IQ,‏ OQ או PQ כנגד ה-SOP שלכם, ותיקוף זה הוא נושא ההתקשרות, ולא משהו שאנו טוענים לו כברירת מחדל. ההדגמה מציגה את הרשומה ואת בדיקת החבלה כדי שתוכלו לשפוט את המהות ולא רק לסמן תיבת סימון.

המספר הזה של פי 20 פחות ניסויים, האם הוא נבחר בקפידה?

זוהי הרצה דטרמיניסטית אחת, גרעין 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, על החומרה שלכם, לא שלנו.

מחקר טכני

המחקר שמאחורי הדגמה זו — הארכיטקטורה, תכנון האימות והתוכנית הארגונית.

הציבו את שער הבטיחות ונתיב הביקורת במקום שבו האוטונומיה באמת רוכשת אמון

הגיעו למפרט בפחות ניסויים, חסמו את הניסויים הנדונים לכישלון לפני שהם רצים, והוכיחו כל החלטה בדיעבד.

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

הערכת מוכנות למעבדה אוטונומית

  • ✓ מיפוי המקומות שבהם סינתזות אבודות מראש והרצות כושלות מתרכזות בתהליך העבודה שלכם
  • ✓ קידוד כללי הישימות והבטיחות שלכם כשער דטרמיניסטי
  • ✓ הגדרת מקור הנתונים לפי ALCOA+ שה-QA והרגולטורים שלכם יקבלו
  • ✓ הגדרת תחום יעד הלולאה הסגורה כנגד קווי בסיס הניתנים לשחזור

בנו איתנו

  • ✓ ממטב GP, או BoTorch ו-Ax, עם פונקציית רכישה מכוונת יעד
  • ✓ שער תאום דיגיטלי דטרמיניסטי הפועל מחוץ לסוכנים
  • ✓ נתיב ביקורת ALCOA+ מקושר-גיבוב ומוגן מפני שינויים
  • ✓ ממשק במבנה SiLA-2 למכשירים הקיימים שלכם, ללא נעילת ספק
רשתות חברתיות

פורסם גם ב