What does it do?
This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model. [1] It provides a catalogue of 719 manuscripts in 372 families, with an overview for family descriptions and a manuscript map for finding papers and supporting materials. [2a][2b] It also includes a Lean library and formalization catalogue describing available formal proofs and their associated papers. [3]
Activity, over time
Daily observations from the public event archive.
Attention
Daily stars & forks
Star accumulation
Cumulative stars
Pull requests
Daily opens & merges
Conversations
Daily issues & comments
Community
Daily accounts & reviews
Releases
Daily releases
Trending history
Daily top 10 · last 90 days · UTC
Latest stargazers
The last 10 distinct accounts we observed this year.
Most active participants
PR, issue, comment & review events in the past year.
Packages
README badges
Embed a badge in your README or website.
