09 · provenance
The roots
Where the numbers come from.
Feeds
Sources
10 · trend
The rings
One ring a year. The tree above is now; these lines are the direction it grew from — the same method, run on observations dated up to each Dec 31.
dashed = provisional, under half its indicators existed · gap = no indicator yet · even = 14.3 · each year sums to 100, so one line rising can mean others falling
11 · the dialsbalanced
The dials
The seven futures under the selected lens.
12 · pertinencein the machine's own words
What the machine thinks pertinence means
ai evolutionthe toolbox · githubsyncing…
The toolbox
How fast language models are being handed tools, counted on GitHub. Reading github.json…
The capability expansion curve · new repos a year
table · the numbers in this chart
What the count can see, and what it can't
Reading github-trends.json…
ai evolutiongithub
The exponential
Releases a year
Commits a month
Stars
What the counts are, in the data's own words
ai evolutionthe tools
The tools are evolving too
New AI-tool repos a month
New Lean projects a month
mathlib commits a month
The tool layer · stars
Why the tools share this tab, and what their counts are
13 · inventorythe data report
The inventory
Every file this page reads, what it draws, and what came back.
Files · every request this page makes
14 · geography
The soil
Where the data comes from. Pick a source; the regions it measures light up. Most are world aggregates — said plainly, not drawn bigger.
Sources
15 · atlas
The atlas
The seven futures, scored per country — weighted percentiles of open country data, each country against all reporting countries, as levels, not directions. None of these country indicators measures AI: they are the conditions each future would land in. Totals are counted per person. Pick a realm; countries light by their score. Thin data is dashed, never hidden. Outlines: Natural Earth (public domain).