Observed arrival · 2026-10-08
ProofSearch: A Traceable Catalogue of AI Math Papers
ProofSearch organizes 722 AI-generated mathematics manuscripts from OpenAI’s openai/math release by verification status, dependencies, and community errata.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Readers auditing the openai/math manuscript release
- Worth noticing
- Lean status may cover a narrower formal statement than the paper, and dependency links are extracted from TeX citations.
Field notes
The provenance notes distinguish several kinds of evidence: Lean links come from a release file or scope note, while dependency edges are read from citations in TeX sources. The site warns that both are automated readings, and that a formalized statement can be narrower than the paper. Reader-submitted errata are routed through public repository issues, where reports retain a permanent link and discussion thread.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
One card from the complete issue