01 / The mechanism and its boundary
What is being described
Gensyn builds AI forecasting systems S-3560. Its verification work includes Verde and RepOps, which check machine-learning jobs delegated to compute providers S-1809:
- In Verde, several providers run the same machine-learning job, and a dispute between them is narrowed to a single operation that a referee re-runs S-1809. The paper's RepOps library fixes the order of floating-point operations so that results match across hardware S-1809.
- Gensyn publishes REE, its Reproducible Execution Environment, which it reports runs LLM inference reproducibly and writes receipts that let others re-run it S-1812. The SDK is MIT-licensed, and the compiler and operator binaries ship under a proprietary licence S-1812. See deterministic and bit-exact inference.
- Gensyn reports that Verde and RepOps are deployed in Judge, its AI evaluation service S-1810 S-1811. It reports that Delphi, its information-market app, is live, and that markets settled by open models inside REE produce receipts that anyone can re-run S-3022.
Connections in the research map
Related research
Sources and provenance
- S-3560 / Tier B
Gensyn: machines that predict the future ↗
· 2026 · Gensyn
Supports: self-description; Delphi and REE as products
Locator: homepage
Version and catalogue details - S-1809 / Tier B
Verde: Verification via Refereed Delegation for Machine Learning Programs ↗
A. Arun, A. St. Arnaud, A. Titov, B. Wilcox, V. Kolobaric, M. Brinkmann, O. Ersoy, B. Fielding, J. Bonneau · 2025 · arXiv
Supports: Verde paper, most authors at Gensyn; dispute protocol and RepOps
Version and catalogue details - S-1812 / Tier B
gensyn-ai/ree: Gensyn Reproducible Execution Environment (GitHub repository) ↗
Gensyn · 2026 · GitHub
Supports: REE: reproducible LLM inference with receipts; MIT-licensed SDK, proprietary binaries
Locator: README
Version and catalogue details - S-1810 / Tier C
Verde Verification System In Production ↗
O. Ersoy · 2025 · Gensyn research blog
Supports: Verde and RepOps deployed in Judge (provider-reported)
Version and catalogue details - S-1811 / Tier C
Introducing Judge ↗
Gensyn · 2025 · Gensyn news
Supports: Judge, an evaluation service built on Verde and REE (provider-reported)
Version and catalogue details - S-3022 / Tier C
Building Delphi: Pricing, Settlement, and Agentic Trading ↗
D. Jedamski · 2026 · Gensyn blog
Supports: Delphi live; markets settled inside REE produce re-runnable receipts (provider-reported)
Version and catalogue details
- Source review date
- 2026-10-08
- Drafted by (source map)
- ai
- Review handles (source map)
- codex-review