#erdosproblem
Live, measured metrics for the hashtag #erdosproblem from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #erdosproblem
This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.
Day-by-day usage
measured · mastodon.online (Mastodon public tags API) · fetched 2026-11-01 02:17 UTC0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · mastodon.online (Mastodon public search API) · fetched 2026-11-01 02:17 UTCLive pulse
measured · mastodon.online (Mastodon tag timeline) · fetched 2026-11-01 02:17 UTCEverything below is measured over the latest 3 public posts (spanning ~2150 hours).
Posting hours (UTC)
Languages: English (3)
Avg boosts / post: 0
Top of the latest posts
https://winbuzzer.com/2026/01/19/gpt-5-2-pro-solves-decades-old-math-problem-but-experts-say-it-reveals-ais-limits-as-much-as-its-potential-xcxwbn/ GPT-5.2 Pro Solves Decades-old Math Problem, but Experts Say It Reveals AI’s Limits as Much
Aristotle từ HarmonicMath đã giải quyết thành công Bài toán Erdős số 124, một trong những bài toán mở của nhà toán học Paul Erdős, sử dụng hệ thống chứng minh hình thức LEAN. #ToánHọc #BàiToánErdos #LEAN #ChứngMinhHìnhThức #FormalProof #Mat
Lời giải cho một bài toán trị giá $1000 của Paul Erdős đã được tìm ra! Đáng chú ý, lời giải này được phát triển với sự hỗ trợ từ ChatGPT và được viết theo phong cách chứng minh hình thức của Lean. #ToánHọc #Erdos #ChatGPT #AI #TríTuệNhânTạo
#erdosproblem across platforms
every network with a public tag surfaceFollow #erdosproblem straight to each platform’s own tag page. Where a platform publishes open data we measure it above; the rest lock their numbers behind paid APIs, so we link rather than guess.
Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/erdosproblem