Interdyscyplinarny silnik inteligentny: dedukcja matematyczna, modelowanie fizyczne, generowanie kodu, rozumowanie logiczne