# First Proof benchmark

> Entity coverage from Web Pulse
> Last updated: 2026-05-25T17:13:36.742097+00:00
> 1 articles mentioning **First Proof benchmark**

- [RMA: an Agentic System for Research-Level Mathematical Problems](https://wpnews.pro/news/rma-an-agentic-system-for-research-level-mathematical-problems) — 2026-05-25