link to @HeidyKhlaaf’s sharp analysis: Dr Heidy Khlaaf (هايدي خلاف) (@HeidyKhlaaf) As someone who has audited dozens of safety-critical systems, built static analysis tools, and used most formal verification and security tools, here are some red flags that should be a caution in taking these claims at face value: 1. There are no comparison benchmarks with 1/ — https://nitter.net/HeidyKhlaaf/status/2041591737563394442#m

→ View original post on X — @garymarcus