Submit repository
Discover trends that matter
Trending repositories
Daily
Weekly
Monthly
Yearly
Live mentions
Topics
GitHub trending
Repositories
Developers
Insights
Stats
ulamai/erdosbench — GitHub trending stats & insights | Trendshift
Sponsor spot open
·
promote your product
ulamai/erdosbench
#
Synthetic data
Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports
Visit GitHub
Python
20
1
1 contributors
MIT License
Social mentions
Recent discussions about this repository across the web
5) Grok 4.3 is not competitive on this smoke set. It covers 12/14 but has zero accepted core solved/settled results, misses Problems 3 and 8, misses the decisive arguments on Problems 1 and 7, and…
@prz_chojecki · x.com
Introducing ErdosBench: A Research-Mathematics Benchmark Built from Synthetic Erdős-Style Problems Standard math benchmarks became too saturated for frontier models evaluations. This is why we've…
@prz_chojecki · x.com
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues