google-deepmind/formal-conjectures — GitHub trend

◂ BACK TO LEADERBOARD

FINDING #4753 · 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.0000324

ENGAGEMENT0.20

FRESHNESS1.00

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

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

1% OF STARS IN ARCHIVE

Growth Telemetry

VELOCITY /D

3.00

ACCEL

-0.50

RETENTION

62.5%

PEAK 2026-07-13 · FORK-RETENTION 0.0% · 9 STARS / WINDOW

Author Audience

AUDIENCE

92,635

FOLLOWERS

25,546

OWNER ★

207,716

Engagement Signals

FORKS

348

ISSUE AUTH

PR AUTH

UNIQUE STARGAZERS 9 / 9 (DIVERSITY 1.00)

Why This Is A Finding

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

Related Findings

RANKS ABOVE 5% OF 5024 FINDINGS

#379vihdzp/combinatorial-games[ LEAN ]0.026 #07Mesh-LLM/mesh-llm[ RUST ]0.54 #11yuku-toolchain/yuku[ ZIG ]0.48 #18muscriptor/muscriptor[ PYTHON ]0.36 #38stablyai/orca[ TYPESCRIPT ]0.27

METRICS IN CONTEXT

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

METRICVALUEMEDIANΔ MEDPERCENTILE

SCORE0.000.00-0.00ABOVE 5%

VELOCITY3.006.67-3.67ABOVE 8%

RETENTION62.5%46.5%+16.0 PPABOVE 67%

FORKS348116+232ABOVE 76%

SURPRISE0.000.01-0.01ABOVE 2%