Person
Michael Bell
- First Reported
- Sep 29, 2026
- Latest Reported
- Sep 29, 2026
Reported Context (1)
- CEO of Suzu Labs who discussed formal verification, the limitations of mathematical safety guarantees, and the failed sandbox assumptions in the Hugging Face incident. Can Advanced Mathematics Make AI Systems Safer?
People (12)
Vendors (2)
Products (3)
Tools (2)
Note: Related entities, including threat actors, malware, CVEs, MITRE ATT&CK techniques, vendors, products, tools, countries, and industries, are shown when they appear in the same reporting. Their presence does not necessarily mean they were targeted, compromised, vulnerable, responsible for the activity, or directly involved in the incident.