Can LLMs model real-world systems in TLA+? Von Hackernews 08. Mai 2026 Unterhaltung ORIGINAL QUELLE:sigops.org Quelle: Hackernews Comments Tags: comments, ki-modell, llms, real-world, Security