AIThe Decoderabout 1 hour ago
Fields Medalist Launches AI Safety Institute
1 min read
Canadian mathematician Jacob Tsimerman, a Fields Medal recipient, founded the Mathematical A.I. Safety Institute (MAISI). The institute aims to prove AI safety using cryptographic-style formal verification methods.
Level
Hype check
Tap to vote and see what everyone thinks.
