We are awash with buggy LLM-generated code. It costs more to fix than to create. The volume is growing quickly, and methods like testing are insufficient to keep up.
Formal verification is one path out. It has been hard for AI. But EBRMs may hold the key https://t.co/PBTYj30gDp
Thirty Seconds to Mars partners with @worldnetwork to protect live music and put fans first. A Beautiful Lie vs. This Is War tour launches with special, humans-only tickets. No bots allowed. Exclusive perks for verified real, human fans. 🏴☠️⚔️🐅 Verify your world ID here: https://t.co/JOMhvakVIe
The internet's trust layer is breaking.
AI agents now act as humans online, and generative models can fake almost any document or face. The verification systems behind people, credentials, and applications were built for a pre-AI era.
This month, we highlight three portfolio companies at different layers of the stack:
- @Alchemy
- @TransCrypts
- @worldnetwork
https://t.co/cSqxtNK4vW
Concerts are for humans. @30SECONDSTOMARS is using Concert Kit to reserve tickets for verified humans on their 2027 tour.
Concert Kit is open to artists who want to reserve their tickets for real, verified fans.
As agents now outnumber humans, a new trust and security architecture is required for the agent economy.
Gareth Davies (CPO, @auth0@okta) joins Stateful, hosted by @masonnystrom
In this episode they discuss:
- Why binding agents to verified humans is essential to maintain trust across the entire lifecycle
- World ID (@worldnetwork) as the credential layer that allows verified human identity to be transacted and attached to agents
- Agents becoming first-class principals rather than simple tools
- How trusted identity unlocks entirely new B2B models and product experiences
- This intersection of identity, AI, and blockchain is critical infrastructure for the next phase of digital commerce.
0:20 Introduction
0:45 The state of agentic innovation & why identity is foundational
1:40 World ID partnership
3:25 The economics of trust & verification
4:35 AI Agents as first-class principals
EBM are so back!
@ylecun has been pointing here for years: AI reasoning needs systems that check structure before they answer.
Aleph from @logic_int now leads the major formal reasoning benchmarks – let me explain what it is -> 📺
With Proof of Human, instead of trying to block bots, software becomes human-only by default. Then you decide what access to give agents.
@tomocchino (CPO, @vercel ) joins Stateful, hosted by @masonnystrom
In this episode, they discuss how Vercel is building the infrastructure layer for human-verified agents with @worldnetwork.
- Vercel is now agentic infrastructure: deploy with agents, build agents, and a self-improving platform that fixes its own errors
- Workflows does for backends what React did for front ends, composable and reusable in one line of code
- CAPTCHAs are archaic. Human-only software by default is the new model.
- World ID integration via Workflow SDK: one NPM package, one line of code
- Humans as first-class citizens of the internet again
00:00 Vercel's Agentic Infrastructure
01:45 From Front-End Cloud to v0
03:15 Workflow SDK with React
05:30 World ID in One Line of Code
07:00 Beyond CAPTCHAs: Humans First