AI mathematics paper list

The list combines the OpenAI manuscript catalogue, separately attributed papers and metadata discovery candidates. Every entry links to a named source. Attribution describes reported AI involvement; mathematical correctness has not been independently audited.

The earlier estimate of roughly 2,500 AI-assisted proof papers is an extrapolation. This is the list of sources identified so far; the survey’s complete paper-identifier list was not located. Unknown authors and dates are left unfilled.

Full numbered list · Reported model authorship/proof contributions · JSON data · Sources and duplicate grouping