{"version":"market-claims.v1","claim":{"id":"mcl_fad6281b8c130fe5fb","url":"/trace/claims/mcl_fad6281b8c130fe5fb","status":"PUBLISHED","claimType":"DIRECTIONAL_THESIS","direction":"LONG","claimText":"Software you can mathematically prove is unhackable goes mainstream, becoming a powerful new pillar of cybersecurity as AI writes more of the code.","confidence":0.72,"expert":{"slug":"dwarkesh-sp","displayName":"Dwarkesh Podcast","kind":"PERSON","status":"UNCLAIMED","avatarUrl":"/api/avatars/c3263695-7","url":"/trace/experts/dwarkesh-sp","claimed":false},"primaryEntity":{"kind":"ASSET","assetClass":"EQUITY","symbol":"ANTHROPIC","name":"ANTHROPIC","exchange":null,"confidence":0.78},"evidence":{"evidenceUrl":"https://www.youtube.com/watch?v=_9V_Hbe-N1A&t=5344s","sourceUrl":"https://youtube.com/watch?v=_9V_Hbe-N1A","timecode":"89:04","startMs":5344000,"endMs":null,"excerpt":"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":{"entryPrice":506.69,"currentPrice":null,"returnPct":null,"relativePct":null,"method":"PASTE_AUTHOR_PRICE"},"resolutionStatus":"OPEN","ambiguityNotes":null,"horizon":"multi-year","isExplicitTrade":false,"notFinancialAdvice":true,"disclaimer":"AISO tracks public statements, not verified portfolio positions. This is not financial advice."},"expert":{"slug":"dwarkesh-sp","displayName":"Dwarkesh Podcast","kind":"PERSON","status":"UNCLAIMED","avatarUrl":"/api/avatars/c3263695-7","url":"/trace/experts/dwarkesh-sp","claimed":false},"source":{"platform":"YOUTUBE","title":"Adam Marblestone – AI is missing something fundamental about the brain","sourceUrl":"https://youtube.com/watch?v=_9V_Hbe-N1A","publishedAt":"2025-12-30T17:32:19.000Z"},"evidence":{"evidenceUrl":"https://www.youtube.com/watch?v=_9V_Hbe-N1A&t=5344s","sourceUrl":"https://youtube.com/watch?v=_9V_Hbe-N1A","timecode":"89:04","startMs":5344000,"endMs":null,"excerpt":"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.","quote":"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.","speaker":"Adam Marblestone"},"entities":[{"kind":"ASSET","assetClass":"EQUITY","symbol":"ANTHROPIC","name":"ANTHROPIC","exchange":null,"confidence":0.78}],"marketData":{"entry":{"price":506.69,"currency":"USD","observedAt":"2025-12-30T17:32:19.000Z","method":"PASTE_AUTHOR_PRICE"},"current":null,"returnPct":null},"snapshots":[{"kind":"ENTRY","symbol":"ANTHROPIC","assetClass":"EQUITY","price":506.69,"probability":null,"currency":"USD","provider":"paste.trade","providerSymbol":"vntl:ANTHROPIC","observedAt":"2025-12-30T17:32:19.000Z","method":"PASTE_AUTHOR_PRICE","returnPct":null,"relativePct":null}]}