Ask HN: Has anyone used LLMs to audit TrueCrypt for backdoors?

2 points | by dlphii 5 hours ago ago