mastodon — MottG — 22 Sep 2026
Tracking AI impact in math research: https:// mathurls.com/?q=AI%20%20 https:// epoch.ai/frontiermath https:// epoch.ai/…
#benchmarking #ai-mathematics
Tracking AI impact in math research: https:// mathurls.com/?q=AI%20%20 https:// epoch.ai/frontiermath https:// epoch.ai/data/arxiv?view=graph https:// epoch.ai/benchmarks/proofbench ?view=graph&tab=release-date https:// matharena.ai https:// benchlm.ai/benchmarks#category -math https:// lean-lang.org/eval/ https:// trishullab.github.io/PutnamBen ch/leaderboard https:// sorrydb.org https:// lea…