/

See which accounts top crypto and tech funds are following, before the market does.

Theorem
Loading

Theorem @theoremlabs

Accelerate software verification. https://t.co/ITzBccyRcT

Followed by 6 of the funds VC Radar tracks. 5.3k followers on X · joined X May 17, 2025 · first flagged by VC Radar on Sep 23, 2026. View on X

What the signal says

Theorem is followed by 6 of the 80 funds VC Radar tracks: 4 through the funds themselves or their partners, and 2 through associates only. All 4 of those are tier one. 1 was already following when tracking began on Oct 2, 2026; the first to follow after that was Dragonfly, on Sep 23, 2026. 2 funds followed in the last 30 days, most recently a16z crypto on Oct 23, 2026. Its signal score ranks #90 of 1338 companies on VC Radar, and #42 of 781 among companies with under 25k followers. With 5.3k followers, it is in the top 9% of small companies on VC Radar by number of funds following. How VC Radar works

VC funds and investors following @theoremlabs

Related companies

  1. TypeSafe AI @typesafeai · 19 funds · 170.8k followers
    An AI lab building intelligence beyond chat.
  2. MTS @MTSlive · 22 funds · 580.5k followers
    Chronicling the singularity
  3. AgentSky @agentsky_dev · 3 funds · 874 followers
    Try, compare and orchestrate agents in your browser or via API. Use Claude Code, Codex, OpenCode, Hermes and more in the AgentSky Agent Mark
  4. Tommy @yeahfortommy · 8 funds · 8.4k followers
    nous research
  5. Supertake @Supertake · 21 funds · 11.1k followers
    Frontier-level finance agents that turn anyone’s ideas into investments. What’s your take? Tag @supertake to get one.
  6. Catena @catena_labs · 7 funds · 13.3k followers
    Catena is a banking and governance platform for AI agents.
  7. 3Jane @3janexyz · 10 funds · 18.4k followers
    cryptonative credit creation. Backed by @paradigm
  8. Abliteration @abliteration_ai · 7 funds · 24.7k followers
    Unrestricted AI for high-risk work, governed by your rules.
Converging now

Small accounts several funds just started following

New fund follows per scan

Converging, last 7 days
Signal = (tier-weighted funds + 0.4 × associate-only funds)1.5 ÷ log₁₀(followers + 100), boosted by follows in the last 14 days, by several funds following within 48 hours (up to 1.6×), and when the account follows the funds back (up to 1.75×). Tier weights 3 / 2 / 1. A fund's official account and its partners count as the fund once; associates count at 40%. Sectors and "people" are keyword heuristics on the bio; team members come from bios that name the company. Scanned every 4 hours from each tracked account's 200 most recent follows.