@pechorin одна из моих любимых теорем, приятная. Говорит некоторые штуки про чатгпт)

Хотя все теоремы о невозможности ничего не говорят об алгоритмах вида "скажет корректно наличие семантического свойства у 99% кода на python с гитхаба (в 1% случаев ошибётся)". Но это и не их стезя.