Comment by D-Machine
3 days ago
You haven't said anything of substance, because as I and other commenters here have pointed out, you clearly don't even understand Rice's theorem and why it isn't applicable here. You bring up formal verification with Lean on a thread and topic which is about model explainability. You should just stop posting entirely, you are polluting HN with irrelevant nonsense.
I recommend not telling random strangers what to do w/ their time & letting the moderators deal with the problem. You're not a moderator so stop pretending like you are one.