פרק 02: חיים מלאכותיים – ההיסטוריה, המודלים והתוצאות האמפיריות

מבוא: התנתקות מושג החיים מהמצע הפחמני

תחום החיים המלאכותיים (ALife) נוסד בשלהי שנות השמונים במטרה להרחיב את הביולוגיה מעבר למדגם הפחמני היחיד. כריסטופר לנגטון (Langton 1989) הגדיר את היעד: חקר "חיים כפי שהם יכולים להיות" (life-as-it-could-be), מתוך הנחה כי חיים הם דפוס ארגון דינמי חישובי שאינו כבול לחומר מסוים.

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

שכפול עצמי באוטומטים תאיים ומערכות מורכבות

מודל פון נוימן וסף המורכבות החישובי

רעיון השכפול העצמי המכני והחישובי נוסח לראשונה באופן קפדני על ידי ג'ון פון נוימן (von Neumann 1966). פון נוימן פתר את פרדוקס ניוון המורכבות המכני והוכיח מתמטית כי קיים "סף מורכבות קריטי" (critical complexity threshold), אשר מעליו נפתחת הדרך לשכפול שומר מורכבות ולאבולוציה פתוחה נמדד / מוכח.

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

1. הבנאי האוניברסלי ($A$): מכונה הבונה כל עצם במרחב לפי הוראות.
2. המעתיק ($B$): מכונה הקוראת סרט נתונים פסיבי ומשכפלת אותו.
3. הבקר ($C$): מנגנון לוגי המשלב בין בניית הצאצא לשכפול סרט הנתונים והעברתו.

תובנה זו הקדימה את פענוח מבנה ה-DNA ב-1953: פון נוימן זיהה לוגית את ההכרח בהפרדה בין מידע כהוראות ביצוע אקטיביות (תרגום) לבין מידע כנתונים פסיביים להעתקה (שעתוק). באוטומט תאי דו-ממדי בעל 29 מצבים, הוכיח פון נוימן קיום תצורה משתכפלת מלאה נמדד / מוכח.

לולאות לנגטון ושכפול עצמי לא-טריוויאלי

כריסטופר לנגטון (Langton 1984) הראה כי חישוביות אוניברסלית ובנייה אוניברסלית אינן תנאי הכרחי לשכפול ביולוגי; נגיפים וחיידקים אינם בנאים אוניברסליים אלא משכפלים ייעודיים סביר עם מקור. לנגטון תכנן אוטומט תאי דו-ממדי בעל 8 מצבים בלבד:

• מבנה הלולאה נמדד / מוכח: לולאה סגורה של 86 תאים המכילה ערוץ אותות מעגלי ("הסרט הגנטי") מצמיחה זרוע, בונה לולאת בת, מעתיקה אליה את רצף ההוראות ומתנתקת ליצירת צאצא עצמאי.
• קריטריון לנגטון לשכפול לא-טריוויאלי נמדד / מוכח: המערכת עושה שימוש כפול במידע – פעם אחת כהוראה לפעולה (בניית הזרוע) ופעם שנייה כמידע מועתק פסיבית. לולאות לנגטון הדגימו רבייה מובהקת (C4), אך נעדרו שונות מורפולוגית ומנגנון אבולוציוני עשיר, מכיוון שכל מוטציה שברה לרוב את הלולאה.

מורפוגנזה רציפה: מערכת לניה ואוטומטים נוירוניים

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

• מערכת לניה (Chan 2019): הרחבה רציפה במרחב, בזמן ובמצבים למשחק החיים של קונוויי. באמצעות קונבולוציות מרחביות (FFT) ופונקציות גדילה רציפות, התגלה עולם של מאות "מינים" – מבנים סוליטוניים בעלי תנועה עצמונית, סיבוב, גמישות פנימית וחסינות מבנית מרשימה נמדד / מוכח. יצורי לניה מפגינים הומאוסטזיס צורני (C7) כנגד רעש ומחיקת מסה חלקית, ללא צורך במטבוליזם כימי.
• אוטומטים תאיים נוירוניים (Mordvintsev et al. 2020): רשתות עצביות מקומיות קטנות בכל תא אומנו באמצעות גרדיאנטים וטכניקות OpenAI-ES להצמחת תבנית מורפולוגית מוגדרת מתוך תא בודד. המערכת הפגינה חסינות פנומנלית: כאשר נמחקו 50% מהתבנית (חיתוך מלא), התאים שנותרו חשו את הפרת השדה המורפוגנטי ושיקמו את התבנית המלאה בתוך עשרות צעדים נמדד / מוכח. ויסות צורני והומאוסטזיס מרחבי ניתנים אפוא להשגה דרך עקרונות חישוביים של למידה מבוזרת.

מודל גריי-סקוט: שכפול כתמים ללא גנום וללא תורשה

במחקרו של ג'ון פירסון (Pearson 1993), נחקרה מערכת ריאקציה-דיפוזיה לא-ליניארית של שני חומרים כימיים ($U$ ו-$V$). פירסון מיפה את מרחב הפרמטרים של קצב הזנה ($F$) וקצב סילוק ($k$), וגילה משטר של "כתמים משתכפלים עצמית" (self-replicating spots):

• פעולת המערכת נמדד / מוכח: כתם מרוכז של $V$ גדל תוך צריכת $U$, מתארך ונחצה לשני כתמים נפרדים החוזרים על התהליך תחת זרם מגיבים קבוע.
• משמעות תיאורטית נמדד / מוכח: המערכת מדגימה הפרדה חדה בין רבייה (C4) לבין תורשה (C5). הכתמים מתרבים וצורכים אנרגיה, אך אין להם גנום ושום תכונה נרכשת אינה מועברת הלאה. מודל גריי-סקוט מוכיח שרבייה פיזיקלית מתקיימת בעולם הדומם ללא מנגנון דרוויני.

אקולוגיות דיגיטליות ואבולוציה פתוחה

מערכת טיירה: אקולוגיה של קוד מכונה

מערכת טיירה (Ray 1991) הציגה סינתזה של חיים במדיום דיגיטלי, שבו תוכניות בשפת מכונה בת 32 פקודות מתחרות על זמן מעבד וזיכרון:

• מבנה המערכת נמדד / מוכח: אורגניזם מוצא באורך 80 פקודות משכפל את עצמו תוך פנייה מבוססת תבניות (template addressing). תוכניות חולקו בזמן מעבד (Slicer), ונמחקו בהזדקנותן על ידי "קוצר המוות" (Reaper Queue).
• דינמיקה אקולוגית נמדד / מוכח: תחת מוטציות אקראיות התפתחו יצורים באורך 45 פקודות שהפכו לטפילים – ניצול קוד ההעתקה של אורגניזם המוצא כדי להתרבות במהירות כפולה, ובהמשך התפתחו חסיני-טפילים וטפילי-על.
• מגבלת הסטזיס נמדד / מוכח: האבולוציה בטיירה הגיעה לרוויה ללא מורכבות היררכית חדשה מעבר לקיצור פקודות, בשל היעדר מצע פיזיקלי עשיר.

מערכת אבידה: אבולוציה של תכונות מורכבות

פלטפורמת אבידה (Avida; Lenski et al. 2003) ארגנה אורגניזמים ברשת מרחבית ותגמלה אותם בזמן מעבד על ביצוע חישובים לוגיים בינאריים:

• ממצאי לנסקי ב-Nature נמדד / מוכח: נחקרה התפתחות פעולת השוויון הלוגי (EQU), הדורשת שילוב פקודות לוגיות עדינות.
• אבני נגף חיוניות נמדד / מוכח: פעולת EQU התפתחה בעקביות מפעולות פשוטות יותר. הניתוח הגנטי חשף כי מוטציות מזיקות זמנית שימשו כ"אבני נגף חיוניות" (stepping-stones) שאפשרו חציית עמקי כושר. שלילת צעדים מזיקים מנעה את התפתחות התכונה. אבידה הוכיחה אמפירית שברירה בונה מורכבות ללא תכנון מוקדם.

שאלת האבולוציה הפתוחה: המדדים של בדאו

מארק בדאו ועמיתיו (Bedau et al. 1998, 2000) הניחו מסגרת מתמטית למדידת הפעילות האבולוציונית, המבוססת על שלושה מדדים נמדד / מוכח: מדד הפעילות המצטברת הממוצעת ($\bar{A}(t)$), מדד הפעילות החדשה ($A_{new}(t)$), ומדד המגוון הגנטי ($D(t)$). בדאו סיווג את הדינמיקות האבולוציוניות לשלוש מחלקות:

• מחלקה 1 (ללא פעילות): הפעילות האבולוציונית דועכת לאפס (מערכות קפואות).
• מחלקה 2 (פעילות חסומה): הפעילות המצטברת והחדשה מגיעות לחסם עליון קבוע. כל המערכות הדיגיטליות הידועות (כולל טיירה, אבידה ואלגוריתמים גנטיים) מסווגות במחלקה 2 בלבד נמדד / מוכח.
• מחלקה 3 (אבולוציה פתוחה בלתי-חסומה): הפעילות החדשה חיובית והפעילות המצטברת צומחת ללא גבול.

בניתוח תיעוד המאובנים הפנרוזואיקוני (Bedau et al. 1998), הוכח כי הביוספירה הטבעית שייכת באופן מובהק למחלקה 3 נמדד / מוכח. יצירת מערכת מלאכותית ממחלקה 3 הוגדרה כאחת מ-14 הבעיות הפתוחות המרכזיות בחיים מלאכותיים (Bedau et al. 2000).

מרק המשכפלים של שפת BFF ללא פונקציית כושר

בלז אגוארה אי ארקס ועמיתיו (Agüera y Arcas et al. 2024, arXiv:2406.19108) הציגו פריצת דרך בשאלת מוצא המשכפלים:

• מהלך הניסוי נמדד / מוכח: החוקרים השתמשו בגרסה מותאמת של שפת Brainfuck המכונה BFF (בעלת 10 פקודות ושני ראשים), והציבו במרחב זיכרון משותף תוכניות אקראיות לחלוטין באורך 64 בייטים ללא פונקציית כושר. התוכניות התחברו בזוגות והורצו לזמן קצוב.
• מעבר פאזה ספונטני נמדד / מוכח: מתוך הרעש האקראי צצו בתוך עשרות אלפי איטרציות משכפלים עצמיים מושלמים. המשכפלים השתלטו על המרק, הפחיתו את האנטרופיה מסדר גבוה, ויצרו אקולוגיות עם מוטציות וטפילים. שכפול עצמי מהווה אפוא אטרקטור מתמטי טבעי במרחבי חישוב אינטראקטיביים.

סגירה מטבולית, קבוצות אוטוקטליטיות ואוטופואזיס חישובי

קבוצות אוטוקטליטיות ומודל הפולימרים של קאופמן

סטיוארט קאופמן (Kauffman 1986) הציע כי החיים החלו מתוך סגירה קטליטית קולקטיבית (collectively autocatalytic sets). במודל פולימרים בינאריים הנוצרים ממזון פשוט, הוכיח קאופמן כי מספר הריאקציות צומח מהר ממספר החומרים. קיים סף הסתברותי שבו נוצרת קבוצה שבה כל ריאקציה מזורזת מתוכה והמערכת מייצרת את מרכיביה ממאגר המזון נמדד / מוכח.

זיהוי קבוצות RAF ומודל הורדייק וסטיל

וים הורדייק ומייק סטיל (Hordijk & Steel 2004; Hordijk, Kauffman & Steel 2011) ביססו מודל זה אלגוריתמית דרך קבוצות RAF (Reflexively Autocatalytic and Food-generated sets):

• הגדרה פורמלית נמדד / מוכח: קבוצה שבה כל ריאקציה מזורזת מתוכה (RA), וכל מגיב מיוצר ממאגר המזון (F).
• ממצאים אלגוריתמיים נמדד / מוכח: פותח אלגוריתם פולינומיאלי לזיהוי RAF. ב-2011 הוכח כי רמת הזרז הממוצעת ($f^*$) צומחת לכל היותר ליניארית עם אורך הפולימר ($n$). סגירה מטבולית מהווה תופעה אינהרנטית ברשתות צפופות.

אוטופואזיס חישובי ומודל SCL של ורלה ומטורנה

מודל SCL (Substrate-Catalyst-Link) של ורלה, מטורנה ואוריבה (1974; McMullin & Varela 1997) מימש אוטופואזיס בסריג דו-ממדי:

• מעגל הייצור והקרום נמדד / מוכח: מצע ($S$) וזרז ($K$) מייצרים קשרים ($L$) בתוך ריאקציה $2S + K \rightarrow L + K$. הקשרים בונים קרום סביב הזרז. הקרום מתפרק ספונטנית ($L \rightarrow 2S$), אך הזרז הכלוא מייצר קשרים חדשים.
• תיקון עצמי מוכח נמדד / מוכח: חיתוך מכוון בקרום הוביל לשיקום עצמי מהיר בזכות פעילות הזרז. מודל SCL הדגים גבול מתוחזק פנימית (C3) והומאוסטזיס של תיקון עצמי (C7).

וירוסי מחשב: חיים מלאכותיים טפיליים

יוג'ין ספפורד (Spafford 1994) ניתח את מעמדם של וירוסי מחשב מול קריטריוני החיים:

1. רבייה עצמית (C4): וירוסי מחשב משכפלים את עצמם במדויק ומחדירים עותקים לקבצים אחרים נמדד / מוכח.
2. תורשה ושונות (C5): וירוסים פולימורפיים משנים את חתימת הקוד שלהם מדור לדור תחת לחץ ברירה של תוכנות הגנה נמדד / מוכח.
3. חילוף חומרים שאול (C1 דרך אחר): וירוס נסמך לחלוטין על מחזורי המעבד, אספקת החשמל והזיכרון של המארח נמדד / מוכח.

ספפורד הגדיר וירוסי מחשב כטפילים מוחלטים (obligate parasites) סביר עם מקור: בדומה לווירוסים ביולוגיים, אין להם קיום עצמאי מחוץ למצע המארח, וחיותם מסופקת כולה דרך אחר ("by proxy").

רובוטים ביולוגיים, מחשוב רטוב ומערכות היברידיות

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

קסנובוטים: עיצוב אלגוריתמי ושכפול קינמטי

סם קריגמן, דאגלס בלאקיסטון, מייקל לוין וג'וש בונגרד פיתחו את הקסנובוטים (Xenobots 1; Kriegman et al. 2020):

• עיצוב ובנייה נמדד / מוכח: אלגוריתם אבולוציוני תכנן בסימולציה תצורות של אלפי תאי עור (מבנה פסיבי) ותאי שריר לב (מנוע מתכווץ) מעוברי Xenopus laevis. התצורות נבנו פיזית במיקרו-כירורגיה ללא כל עריכה גנטית.
• תנועה וריפוי נמדד / מוכח: הקסנובוטים הפגינו שחייה, דחיפת מטענים, ואיחוי מהיר לאחר חיתוך עמוק.
• שכפול קינמטי (Xenobots 2; Kriegman et al. 2021) נמדד / מוכח: קסנובוטים ששחו בצלחת עם תאי גזע מפוזרים ריכזו אותם לערימות של כ-50 תאים, שהבשילו לקסנובוטים פעילים מהדור הבא. גופים בעלי צורת C התגלו כיעילים ביותר בריכוז התאים, והדגימו שכפול קינמטי פיזיקלי רב-דורי ללא גנום ייעודי.

אנתרובוטים: ביו-רובוטים בבנייה עצמית מתאי אדם

האנתרובוטים (Anthrobots; Gumuskaya et al. 2023) העמיקו מגמה זו:

• בנייה עצמית מתאי אדם נמדד / מוכח: האנתרובוטים נוצרים בהרכבה עצמית מלאה מתוך תאי אפיתל של דרכי הנשימה האנושיות, ללא צורך בעיצוב כירורגי. התאים יוצרים ספרואידים המצופים בריסים ביולוגיים (Cilia).
• תנועה עצמונית ואיחוי רקמות נמדד / מוכח: פעימות הריסים מניעות את האנתרובוטים. בניסוי מעבדתי, אנתרובוטים שגשרו על פני שריטה בשכבת נוירונים אנושיים זרזו סגירה ואיחוי של הרקמה העצבית ללא הנדסה גנטית.

מחשוב נוירונלי ופלטפורמת DishBrain

חזית המחשוב הרטוב הודגמה במחקר של ברט קגן ועמיתיו (Kagan et al. 2022):

• מערכת DishBrain נמדד / מוכח: כ-800,000 נוירונים חיים (עכבריים או אנושיים מתאי hiPSC) גודלו על שבב מיקרו-אלקטרודות (HD-MEA) וחוברו בלולאה סגורה למשחק Pong.
• למידה לפי עקרון האנרגיה החופשית נמדד / מוכח: פגיעה בכדור תוגמלה בגירוי צפוי, ופספוס לווה בפולס רעש אקראי. בהתאם לעקרון האנרגיה החופשית של פריסטון, הנוירונים שינו את תבניות הירי ומזערו את אי-הוודאות, תוך הפגנת למידה והסתגלות מובהקת בתוך 5 דקות.
• מציאות מסחרית ומגבלות (A4-biology-floor10.md) נמדד / מוכח: מארז ההמשך Cortical Labs CL1 נמכר ב-35,000 דולר עם מערכת biOS, אך מוגבל לתוחלת חיי תרבית של 6 חודשים ודורש אינקובציה, מיקרופלואידיקה וצריכת חשמל של כ-900 וואט.

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

פרופ' אנדרו אדמצקי (Adamatzky 2022) מדד פולסים חשמליים בתפטיר פטריות וטען לקיום לקסיקון של 50 מילים לפי חוק זיף:

• הפרכת הטענה בביקורת עמיתים (Blatt et al. 2024; עיין A4-biology-floor10.md) נמדד / מוכח: הוכח כי האותות נובעים מארטיפקטים אלקטרוכימיים ומתנודות לחץ אוסמוטי וגלי סידן פיזיולוגיים. התפלגות זיף מתקבלת מקיבוץ אירועים אקראיים גם בתהליכים דוממים, ואין בתפטיר שום תחביר או סמנטיקה. הטענה לשפה היא ספקולציה מופרכת.

מיפוי השוואתי של מערכות חיים מלאכותיים לפי קריטריוני החיים

להלן מיפוי השוואתי של מערכות החיים המלאכותיים המרכזיות מול 9 קריטריוני החיים (מתוך DESIGN.md §3):

שורה תחתונה

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