V&V takes on OpenAI’s long-horizon incidents by Yoav Hollander

[Cross-posted from The Foretel­lix CTO Blog. Th­ese short takes try to put a ver­ifi­ca­tion-and-val­i­da­tion slant on AI-safety /​ al­ign­ment top­ics – they are not full treat­ments. I co-origi­nated cov­er­age-driven ver­ifi­ca­tion (CDV), and spent sev­eral decades do­ing ver­ifi­ca­tion of chips and AVs. See in­tro post for back­ground.]On July 20 and 21, OpenAI pub­lished two un­usu­ally can­did in­ci­dent re­ports: one about their in­ter­nal long-hori­zon model (the Erdős one) mis­be­hav...