openai/math

Unusual star pattern · 70%

Total stars 14,969 · created 2026-10-06 · Lean · Other
Recent star rate (sample) 1496.9/day → estimated real growth 443.9/day

Sampled stars per day

max 5535/day2026-10-04: 02026-10-05: 02026-10-06: 49952026-10-07: 55352026-10-08: 18952026-10-09: 8542026-10-10: 4852026-10-11: 4172026-10-12: 3232026-10-13: 2122026-10-14: 1342026-10-15: 1192026-10-16: 02026-10-17: 02026-10-042026-10-17

Based on 14969 stars across the privacy-safe star-history window.

Signals

Stars on burst days (≥5× recent median / ≥200, or ≥10k): 70%
Stargazers with very recently created accounts: 21%
Sampled stargazers with low-activity profiles: 12%

An unusual pattern can have innocent causes (launch on Hacker News, a viral post, a classroom). This is not a finding of wrongdoing. Maintainer? Send context or a correction.