Skip to content

The Foretellix CTO Blog – AI safety

Now focusing on AI safety (autonomy-related posts go to the company blog)

  • Home
  • About
    • Privacy Policy
    • Terms of Use
  • Why this blog
  • Terminology
  • Topics
  • All posts
  • Company blog

Month: June 2025

The V&V method – A step towards safer AGI

June 24, 2025

This blog post introduces the V&V method – please read the full 26-page paper here. Summary: AGI may arrive in the near future, and without first solving the alignment problem, this could be catastrophic. The V&V method is a concrete, practical framework for deploying AGI in a safer way. It is based on how complex, … More The V&V method – A step towards safer AGI

Leave a comment The V&V method – A step towards safer AGI

Changing the focus of this blog to AI safety

June 22, 2025

From now on this blog will focus on AI safety / AI alignment (and how they connect to V&V). Posts about autonomy V&V – my day job – will go directly to the Foretellix company blog (e.g. see this post). The company blog already has quite a few excellent autonomy / AV-related posts – please … More Changing the focus of this blog to AI safety

Leave a comment Changing the focus of this blog to AI safety

AI, Autonomy, V&V and abstractions

June 17, 2025

My new post is here on the company’s blog. It talks about: How AI-based autonomy influences verification How AI-based autonomy implementation is moving closer to verification The importance of abstractions in all of that Enjoy.

Leave a comment AI, Autonomy, V&V and abstractions

Archives

Recent Posts

  • V&V takes on “Pacing the frontier”
  • V&V takes on OpenAI’s long-horizon incidents
  • When is misalignment just a bug? 
  • Coverage-driven alignment – What ‘Teaching Claude Why’ can borrow from AV verification
  • The V&V method – A step towards safer AGI
  • Changing the focus of this blog to AI safety
  • AI, Autonomy, V&V and abstractions
  • About “The coming AI hackers” paper
  • ADS residual risk – some related research

Recent Comments

When is misalignment… on It’s the spec bugs that kill y…
When is misalignment… on Verifying friendly AI: our fin…
Coverage-driven alig… on It’s the spec bugs that kill y…
https://otomotif71.w… on Stuttgart impressions: Scenari…
Daan van der Keur on About “The coming AI hackers”…
Mariah Jackson on M-SDL, the autonomous vehicles…
sakhokhar on Machine Learning for Coverage…
hongseoklee on How to write AV scenarios (and…
Erik Panu on GPT-3 and verification

Recent Posts

  • V&V takes on “Pacing the frontier”
  • V&V takes on OpenAI’s long-horizon incidents
  • When is misalignment just a bug? 
  • Coverage-driven alignment – What ‘Teaching Claude Why’ can borrow from AV verification
  • The V&V method – A step towards safer AGI
  • Changing the focus of this blog to AI safety
  • AI, Autonomy, V&V and abstractions
  • About “The coming AI hackers” paper
  • ADS residual risk – some related research

Recent Comments

When is misalignment… on It’s the spec bugs that kill y…
Coverage-driven alig… on It’s the spec bugs that kill y…
https://otomotif71.w… on Stuttgart impressions: Scenari…
Daan van der Keur on About “The coming AI hackers”…
Mariah Jackson on M-SDL, the autonomous vehicles…

Archives

  • August 2026
  • July 2026
  • June 2026
  • June 2025
  • April 2021
  • February 2021
  • July 2020
  • March 2020
  • January 2020
  • September 2019
  • May 2019
  • January 2019
  • December 2018
  • October 2018
  • June 2018
  • May 2018
  • March 2018
  • January 2018
  • November 2017
  • October 2017
  • August 2017
  • July 2017
  • June 2017
  • May 2017
  • March 2017
  • January 2017
  • December 2016
  • November 2016
  • October 2016
  • September 2016
  • August 2016
  • July 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • August 2015
  • July 2015

Categories

  • Uncategorized

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Recent Posts

  • V&V takes on “Pacing the frontier”
  • V&V takes on OpenAI’s long-horizon incidents
  • When is misalignment just a bug? 
  • Coverage-driven alignment – What ‘Teaching Claude Why’ can borrow from AV verification
  • The V&V method – A step towards safer AGI
  • Changing the focus of this blog to AI safety
  • AI, Autonomy, V&V and abstractions
  • About “The coming AI hackers” paper
  • ADS residual risk – some related research

Recent Comments

When is misalignment… on It’s the spec bugs that kill y…
Coverage-driven alig… on It’s the spec bugs that kill y…
https://otomotif71.w… on Stuttgart impressions: Scenari…
Daan van der Keur on About “The coming AI hackers”…
Mariah Jackson on M-SDL, the autonomous vehicles…
sakhokhar on Machine Learning for Coverage…
hongseoklee on How to write AV scenarios (and…
Erik Panu on GPT-3 and verification
Yoav Hollander on Autonomy markets and their pot…

Archives

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Subscribe to Blog via Email

Enter your email address to subscribe to this blog and receive notifications of new posts by email.

Join 165 other subscribers
Powered by WordPress.com.
Loading Comments...