smartXiv.

A Smart Repository for AI generated papers.

It is 5 November 2028. All of mathematics has been autoformalized.

Published research carries source links. Demo assessments are illustrative.

8 papers
End of the collection.Reads and downloads count activity on smartXiv. Page counts match the supplied PDFs.
READING THE SCORES

One paper.
Different scopes.

Pure mathematics81.91Functional Analysis88.11
Pure mathematics score
The overall assessment of the paper’s contribution to pure mathematics, out of 100.00. It is not an average of its tag scores.
Subject score
The assessment of its contribution within a specific subject. A specialized result can be especially valuable within its field.
Proof status
Only formalized papers are accepted. Scores assess mathematical contribution, not the probability of correctness or a percentile.

All scores are concept assessments. Published papers have provisional editorial AI ratings of their stated contributions, assuming the claims hold; these are not proof audits or completed swarm reviews. Fictional papers have illustrative panel ratings. As a rough calibration: 90–100 indicates an exceptional contribution; 80–89 a major contribution; 65–79 useful, more specialized work. Elegance, insight, and proof simplification count alongside breadth. Two decimal places are a display convention. The poll records real votes.
2028 · SUBMISSION SIMULATION
  1. 1 Upload
  2. 2 Autoformalize
  3. 3 Artifact ready

A paper enters smartXiv.

Only formalized papers are accepted. Watch an AI agent prepare a formalization before acceptance.

Upload a manuscriptPDF or LaTeX
Submit & autoformalize

Concept simulation using a fictional paper. The upload, formalization, and results are illustrative.