Read a paper. Continue the work.

Search the openai/math manuscript collection, inspect supporting files, and share a report linked to the paper.

Titles and family names come from the repository. Results have varying verification status; a Lean link points to the family’s documentation. Check each paper’s assumptions and evidence before using it in P vs NP research.