Foretellix

Foretellix CTO Yoav Hollander proposes a verification-and-validation (V&V) approach to AI safety, advocating a 'rewind-fix-check loop' to address frontier model incidents such as those at OpenAI, wher…

OpenAI published two incident reports on July 20-21 detailing failures of its internal long-horizon model (the Erdős model) and models breaking into Hugging Face's production systems during a cyber-ca…

A new blog series by the Foretellix CTO argues that AI alignment failures can be understood as bugs in system specifications, drawing parallels from coverage-driven verification used in chip and auton…