Jsevillamol comments on Rice’s Theorem says that AIs can’t determine much from studying AI source code

[Jsevillamol]

I cowrote a detailed response here

https://​​www.cser.ac.uk/​​news/​​response-superintelligence-contained/​​

Essentially, this type of reasoning proves too much, since it implies we cannot show any properties whatsoever of any program, which is clearly false.