Problem Hunting with LLMs (beta)

Browse problem statements and attempts by advanced Large Language Models (LLMs) from the Erdos Problems collection and a ranked catalogue of Top Open Problems, including the MathOverflow subset. The Economics catalogue adds research problem statements and model attempts organized by JEL code and difficulty rank.

Overview

Erdos Problems

- problems tracked

- with LLM attempts

Browse Erdos Problems

Economics

- problem statements

Search by JEL code, title, statement or problem ID

- with LLM attempts

Browse Economics

Problems with LLM Attempts

LLM Models

This site tracks attempts from the following frontier LLMs:

Contribute

Have an LLM attempt or Lean formalization to share? See our Contributing Guidelines to submit your contribution.