papexlabs/r7-tournament-ramsey
Viewer • Updated • 83.3k • 352
AI-assisted research, research provenance, formal verification (Lean), open problems in mathematics
The record layer for AI-era science.
Papex connects hypotheses, findings and publications to the people, tools and versions behind them. It works inside the AI tool a researcher already uses: the tool drafts the record, and the researcher reviews and signs the exact version, decides when to share it, and gets a citable address on papex.org.
A Papex record shows who declared what, and when. It is not peer review, and it does not show that a result is correct.