Tag
OpenFrontiers introduces a cross-disciplinary corpus of 12,151 open research problems plus a 200-problem retrospective benchmark of recently resolved mathematics problems with Lean 4 statements, evaluating seven LLM agents and finding that closed-book rediscovery of research-level results remains rare while live-web success largely reflects retrieval of published solutions.