# Vlad Tenev

Vlad Tenev leads Robinhood and co-founded Harmonic, whose mathematical reasoning work he discussed on Moonshots in September 2026.

Type: person. Context selected by Escape Meridian; inclusion is not endorsement.

[Collection](/entities/vlad-tenev)
[Original website](https://investors.robinhood.com/management/vlad-tenev)

## Sources

- [Moonshots with Peter Diamandis](https://www.diamandis.com/podcast): Surface ambitious technological forecasts as attributed positions that people can examine and challenge.
- [Harmonic](https://www.harmonic.fun/): Examine whether generated mathematics and software can carry checks that make the results easier to trust and use.
- [Robinhood](https://robinhood.com/us/en/newsroom/): Examine what changes when agents can act with money, who retains control and whether easier execution produces useful outcomes.

## Perspectives

- [Can checking the requirement replace checking every line?](/perspectives?position=tenev-check-the-specification) (Vlad Tenev): Tenev argues that checking a concise formal statement can be much less work than checking its entire proof. He proposes building toward larger verified systems from smaller components.
- [The proof can pass while the requirement is wrong](/perspectives?position=wissner-gross-proving-the-wrong-problem) (Alexander Wissner-Gross): Wissner-Gross asks how to detect a formally valid answer to a subtly changed problem. He questions whether open-world safety can be expressed compactly enough for a person to check.

## Terminal notes


## Parallels

- [The answer is right. Was the question?](/parallels?parallel=right-answer-wrong-question): When producing an answer gets cheaper, where does the useful work move?

## Context references

- [https://investors.robinhood.com/management/vlad-tenev](https://investors.robinhood.com/management/vlad-tenev)
- [https://www.youtube.com/watch?v=LNBzLTLuLUo](https://www.youtube.com/watch?v=LNBzLTLuLUo)

Latest published distillations: [Publications API](/api/pipeline/publications?entity=vlad-tenev)
