Building Delphi: Pricing, Settlement, and Agentic Trading
An information market is a world model priced in capital. Every trade
Article
Introducing AXL: Peer-to-Peer Communication for AI
If AI agents are going to work together, they need to be
Introducing REE: Reproducible Execution Environment
A REE run produces two outputs: the generated text and a receipt. The receipt binds the job inputs to the job output, including the model, prompt, configuration, and generated result.
The Prediction Markets We Were Promised: A Guide to Slaying Dragons With Oracles, Commitments, and Blockchains
In this post we'll walk through the inner-workings of prediction markets and the systems they exist inside of.
LMSR (Logarithmic Market Scoring Rule)
The most popular prediction markets today use order books and continuous double auctions because they allow venues to externalize risk, but these markets have several known limitations
Prediction Markets are Learning Algorithms
In this piece we’ll unpack this similarity and reveal that, in many cases, they are formally equivalent in a strong sense. We’ll discuss which classes of prediction markets are mathematically identical to standard online learning...
Verde Verification System In Production
In this blog post, we dive into the landscape of verification methods, discuss their advantages and drawbacks, and explain our method, Verde.
Introducing RL Swarm’s new backend: GenRL
GenRL is a new framework designed from the ground up to simplify and accelerate the creation of advanced RL environments, particularly those involving multiple agents.
GPT@home: Why the Future of Training is Decentralized
AI training costs are hitting $100B per run. Gensyn's decentralized infrastructure enables efficient training across edge devices at massive scale—making model development collaborative and accessible.