מכונת גודל (Gödel Machine)
term_id: gödel_machine
Category: basic_concepts
Definition
מכונת גודל היא פותר בעיות אוניברסלי היפותטי שהוצע על ידי יורגן שמידובר, המבוסס על לוגיקה פורמלית ותורת החישוביות. המכונה פועלת על ידי ניתוח מתמיד של קוד המקור שלה עצמה כדי למצוא שיפורים יעילים יותר, תוך שימוש בהוכחות פורמליות כדי לוודא שהשינויים ישפרו את הביצועים מבלי לפגוע ביכולתה להשיג את המטרה המקורית שלה.
Summary
תוכנת בינה מלאכותית תיאורטית המשפרת את עצמה, היכולה לשכתב את קוד המקור שלה כדי להפוך ליעילה יותר מבלי לשנות את המטרות שלה.
Key Concepts
- שינוי עצמי (Self-Modification)
- פונקציית תועלת
- אימות פורמלי
- יעילות חישובית
Use Cases
- מחקר תיאורטי בבינה מלאכותית כללית (AGI)
- חקירת גבולות השיפור העצמי האלגוריתמי
- חקירת שיטות פורמליות בבטיחות בינה מלאכותית