Skip to content
Path to safe AI: MIT researcher proposes mathematically proving code safety · Viche