A collection of attempts by advanced Large Language Models (LLMs) to solve open mathematical problems from the Erdos Problems collection and MathOverflow.
Overview
Problems with LLM Attempts
Loading...
LLM Models
This site tracks attempts from the following frontier LLMs:
- Loading...
Contribute
Have an LLM attempt to share? See our Contributing Guidelines to submit your contribution.