DOOMBENCH.COM
Safety and alignment

Max Tegmark proposes exporting AI capabilities into formally verified tools

In a full interview, Max Tegmark proposes keeping powerful neural networks isolated and asking them to export useful capabilities into code with machine-checkable proofs. His conjecture that increasingly capable systems could eventually export all their knowledge is an unproven control proposal, not a demonstrated safeguard or deployment result.

0 comments · 0 votesOpen discussion

Public discussion is readable by everyone. Sign in to comment, reply, or vote.

No comments yet. Start the discussion.

Send detailed or private feedback →
CURRENT ASSESSMENT · REVISION 1
AWAY FROM DOOM18confidence 55/100

Why it moved the index

The direct control nexus is a specific proposal to deploy formally verified tools instead of opaque neural agents. Magnitude 18 reflects a distinct proposed mechanism rather than an achieved safety gain. Confidence 55 reflects its unproven exportability conjecture: machine-checkable code properties do not establish that all useful knowledge can be extracted, that specifications capture human intent, or that containment is reliable. This assesses Tegmark's attributed argument, not the interview's separate incident, legal or scientific claims.

Assessment history

  1. R1
    Away 18 · confidence 55

    Add the dated vericoding and asymptotic internal transparency proposal, distinct from the existing recursive-self-improvement red-line argument; retain conjectural status.

    28 Oct 2026

Share this page

DoomBench social sharing card for Max Tegmark proposes exporting AI capabilities into formally verified tools.

  1. DoomBench assesses “Max Tegmark proposes exporting AI capabilities into formally verified tools” as evidence moving away from doom, with magnitude 18 and confidence 55 out of 100 in the safety and alignment category.

  2. The DoomBench assessment of “Max Tegmark proposes exporting AI capabilities into formally verified tools” is based on reporting from Into the Impossible with Brian Keating and records the editorial rationale, source quality,...

  3. DoomBench summarizes “Max Tegmark proposes exporting AI capabilities into formally verified tools” as follows: In a full interview, Max Tegmark proposes keeping powerful neural networks isolated and asking them to export useful...

    https://www.doombench.com/news/max-tegmark-proposes-exporting-ai-capabilities-into-formally-verified-tools-2026-10-26