google-deepmind/formal-conjectures — GitHub trend

◂ BACK TO LEADERBOARD

FINDING #6475 · UNIT ID 982001159

google-deepmind/formal-conjectures

A collection of formalized statements of conjectures in Lean.

[ LEAN ][ ORG ][ GITHUB ↗ ]

SURPRISE SCORE

0.00

Score Breakdown

SURPRISE0.0000247

ENGAGEMENT0.20

FRESHNESS1.00

SCORE = SURPRISE × ENGAGEMENT^0.7 × FRESHNESS × VISIBILITY × CONFIDENCE

SURPRISE = WINDOW STARS / DAYS / (AUDIENCE + FLOOR)

2% OF STARS IN ARCHIVE

Growth Telemetry

VELOCITY /D

2.29

ACCEL

-0.00

RETENTION

36.7%

PEAK 2026-07-09 · FORK-RETENTION 0.0% · 16 STARS / WINDOW

Author Audience

AUDIENCE

92,635

FOLLOWERS

25,546

OWNER ★

207,716

Engagement Signals

FORKS

348

ISSUE AUTH

PR AUTH

UNIQUE STARGAZERS 16 / 16 (DIVERSITY 1.00)

Why This Is A Finding

google-deepmind/formal-conjectures собрал 16 звёзд за окно, тогда как у автора всего 25,546 подписчиков — эффективная аудитория ≈ 92,635. Это даёт surprise-индекс 0.0000247 (звёзды относительно охвата автора, а не в абсолюте). Удержание форков 0.0% и 0 внешних контрибьюторов отделяют реальный инструмент от разовой вспышки. Акселерация отрицательная — внимание остывает после пика.

Related Findings

RANKS ABOVE 6% OF 6892 FINDINGS

#718vihdzp/combinatorial-games[ LEAN ]0.0145 #6795LionSR/TNLean[ LEAN ]<0.000001 #05AlephAITech/WorkBuddyGuide[ PYTHON ]0.51 #12tutti-os/tutti[ TYPESCRIPT ]0.37 #17Mesh-LLM/mesh-llm[ RUST ]0.35

METRICS IN CONTEXT

MEDIAN ACROSS ALL 6892 FINDINGS · Δ vs MEDIAN · PERCENTILE = SHARE RANKED BELOW

METRICVALUEMEDIANΔ MEDPERCENTILE

SCORE0.000.00-0.00ABOVE 6%

VELOCITY2.294.14-1.86ABOVE 26%

RETENTION36.7%40.6%-4.0 PPABOVE 43%

FORKS34889+259ABOVE 81%

SURPRISE0.000.01-0.01ABOVE 2%