TRACE
Trace a source
tape live—manual reviewONevidenceREQUIREDjson/trace.jsontracked horizons1D · 7D · 30D · 90Ddisclaimernot financial advicetape live—manual reviewONevidenceREQUIREDjson/trace.jsontracked horizons1D · 7D · 30D · 90Ddisclaimernot financial advice
publisheddirectional thesisLONGyoutubenot an explicit trade

ANTHROPIC directional thesis

Software you can mathematically prove is unhackable goes mainstream, becoming a powerful new pillar of cybersecurity as AI writes more of the code.

$506.69entry snapshot
pendingcurrent snapshot
— pendingsince mention
“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.”
89:04claim_id mcl_fad6281b8c130fe5fbopen evidence ↗
Classification directional thesis

Human-reviewed public claim.

Evidence span 89:04

Evidence URL, source timestamp, and excerpt are attached to this permanent claim page.

Correction path available

Creators or reviewers can request reclassification, context, or entity corrections without erasing the source record.

Machine-readable claim
{
  "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
    }
  ]
}

AISO Market Calls classifies public statements from public sources. A classification such as long thesis, short thesis, or explicit call describes the content of the public statement and does not prove that the speaker actually entered, exited, or held a position. Market performance shown is calculated from public market data around the source publication or timestamp. It is not investment advice.