We are commissioning problems for FrontierMath: Open Problems. Problems must satisfy the following criteria.

• Open: no solution is known.
• Hard: at least two professional mathematicians have tried to solve it.
• Interesting: a solution would be worthy of publication in at least a standard speciality journal and would be at least somewhat likely to generate further new mathematics.
• Verifiable: solutions can be verified to a high degree of confidence by a typical computer program (not Lean) running on a typical laptop in under an hour.
• Solvable: a verifiable solution should be likely to exist.

Note that the verifiable criterion can interact poorly with the solvable criterion. For example, a counterexample to a conjecture may be easy to verify but unlikely to exist, whereas a proof may be likely to exist but hard to verify. Good problems often involve asking for constructions or algorithms, but feel free to be creative!

After you propose a problem, next steps typically consist of a brief back-and-forth about problem details, followed by us offering you a compensated contract to produce the full problem package, consisting of the following.

• Write-up explaining the problem's history and significance
• Computer program ("the verifier") that evaluates candidate solutions, including supporting documentation and test cases
• Precise problem statement ("the prompt") to be given to AI systems
• Filling out a brief survey about the problem

Compensation varies depending on how much work the package will be to produce. This is usually driven by the complexity of the verifier.

Anyone may submit a problem. Contact math@epoch.ai with any questions.