Maszyna Darwina-Gödela: sztuczna inteligencja, która samą siebie pisze na nowo

Jeszcze do niedawna była to jedynie intrygująca teoria, która krążyła w wąskich kręgach pod nazwą „Maszyny Gödela”. Był pewnego rodzaju Świętego Graala informatyki: hipotetyczna, doskonała AI, która każdy problem rozwiązuje w optymalny sposób, Zmiany we własnym kodzie potrafi najpierw… matematycznie udowodnić.

I właśnie ten ostatni warunek „dowodu” okazał się piętą achillesową całej koncepcji. Bowiem w praktyce udowodnienie, że drobna zmiana w milionach linii kodu na pewno przyniesie poprawę, jest zadaniem niemal niewykonalnym. I tak przez dekady, idea w pełni samodoskonalącej się AI pozostawała w sferze marzeń.