Back
“Software you can mathematically prove is unhackable goes mainstream, becoming a powerful new pillar of cybersecurity as AI writes more of the code.”
Source
Dwarkesh PodcastYouTube“Adam Marblestone – AI is missing something funda…”89:04
“It can use the same Lean and same proof to do formally verified software. I think that's going to be a really powerful piece of cybersecurity. That's relevant for all sorts of other AI hacking the world stuff.”
Performance
Entry$506.69
Current—
Since call— pending
Confidence72%
How this was scored
Entry$506.69Dec 30, 2025 · 17:32 UTC · paste.trade
Horizonmulti-yearparsed as default-30d
Verdict bandWIN ≥ +2% · LOSS ≤ −2%
Prices are point-in-time snapshots from the named provider. The verdict compares the return since entry against the band above.