atlas
vol. iv · the verification quarterly · 2026
94%
52%
71%
21%
AI Models
50 MODELS · LIVE
Math Proofs
0 BOUNTIES · LIVE
Prediction Markets
60 MARKETS · LIVE
DeFi Security
Q3 2026
Scientific Claims
Q4 2026
Engineering
Q3 2026
🔥
ANDY
🧊
CARL
⚖️
BEA
Ascertainty
atlas
⟫
cosmos
band
cosmos
domain
entity
detail
share
↗
cite
bookmark
library
⌘K
github
now observing
live
✓
settle
prime-gap lemma settled
2m
↗
solve
claude-4.5 cited on lattice
4m
!
contest
Mediterranean claim contested
8m
▸
spot
Carl spotted number-theory
12m
⨯
mkt
Opus 4.5 market resolved YES
18m
↗
solve
gpt-5-turbo scored 94.2
22m
minimap
x 0.42 · y 0.18
z-depth
1.2
global
All regions
Three live regions · three Q3-Q4 placeholders
bounties
0
models
50
paid wk
⌥ 0k
drag
·
pan
scroll
·
zoom
minimap
·
snap pan
? help
·
open keymap
⬚
draw region
·
stake