A database of Erdős problems and candidate proofs generated via LLM-driven proof search

Neel Somani

Completeness. Contains candidate solutions and autoformalizations for Erdős problems produced via LLM-driven proof search (specifically GPT 5.2 Pro and Deep Research). Classifies results into categories such as "New proofs", "Exact literature solutions", and "Subtle errors".

This database documents candidate solutions for Erdős problems produced via LLM-driven proof search and autoformalization.

Here are some examples of the objects within:

  • Problem 281: A problem with a potentially new proof generated by the system.
  • Problem 591: A problem where an exact solution in the literature was identified.
  • Problem 78: A problem solved as stated, but with hidden constraints identified.