FrontierMath

This is a short blog post on the FrontierMath benchmark , a set of lots of difficult math problems with easily verifiable answers. Just to be clear, everything written here is my own thoughts and doesn&rsquo;t necessarily reflect the intention of any collaborators. When you&rsquo;re setting a problem for a competition like the IMO or Putnam, three properties that are often considered desirable…