Nonprofit
Mathlib Initiative
Statistics
- People here now
- 3
- People ever
- 3
- Citations of current people
- 2,760
- Median h-index of current people
- 6
- Full moves in and out
- 3 in, 0 out
Our research follows 3,427 researchers, builders, lab leaders and public voices through cited biographies. Missing career records can lower counts. Outdated roles can overstate current counts and change ranks. Citation figures count 3 of the 3 people here now. People whose OpenAlex record may be incomplete or mixed are left out. Publication numbers from OpenAlex, as of 19 October 2026. Career and profile data as of 19 October 2026.
We estimate that 3 people shaping AI have worked at Mathlib Initiative. The largest current role group is researchers, with 3 people. With 3 people here now, the group is tied for 18th among nonprofits.
A summary of current people at Mathlib Initiative. It shows roles, affiliations, profile topics and birth countries known for 0 people. No birth years are recorded.
Role categories
- Research3
Current affiliations
- Mathlib Initiative3
Top profile topics
- formal mathematics3
- theorem proving2
- arithmetic geometry1
- differential geometry1
- lean1
Birth countries
Known for 0 of 3 people now.
No birth countries are recorded.
Median birth year
No known birth years
Source: People of Superintelligence profiles, current career records and recorded birthplaces, as of 19 October 2026.
Data table
| Measure | Value | People |
|---|---|---|
| Role | Research | 3 |
| Current affiliation | Mathlib Initiative | 3 |
| Profile topic | formal mathematics | 3 |
| Profile topic | theorem proving | 2 |
| Profile topic | arithmetic geometry | 1 |
| Profile topic | differential geometry | 1 |
| Profile topic | lean | 1 |
| Birth country coverage | 0 of 3 people now | 0 |
| Median birth year | No known years | 0 |
A table compares Mathlib Initiative with 4678 organizations and 526 organizations of the same type for current people, people ever and combined h-index where available.
People now
3 people
People ever
3 people
Combined h-index of people now
26 across 3 people
Source: People of Superintelligence organization membership and confident OpenAlex statistics, as of 19 October 2026.
Data table
| Measure | Value | All organizations | Same type |
|---|---|---|---|
| People now | 3 | tied for 194th of 4,678 | tied for 18th of 526 |
| People ever | 3 | tied for 733rd of 4,678 | tied for 51st of 526 |
| Combined h-index of people now | 26 (3 people) | tied for 896th of 1,114 | tied for 122nd of 167 |
A list of people who joined or left Mathlib Initiative from 2023 through 2026, with the year and move type.
Joined
- Adam Topaz 2026 · from University of Alberta · Full move
- Bryan Gin-ge Chen 2026 · from Columbia University · Full move
- Oliver Nash 2026 · from Imperial College London · Full move
Left
No recorded moves.
Source: People of Superintelligence career moves, as of 19 October 2026.
Data table
| Year | Person | Direction | Other organization | Move type |
|---|---|---|---|---|
| 2026 | Adam Topaz | Joined | University of Alberta | Full move |
| 2026 | Bryan Gin-ge Chen | Joined | Columbia University | Full move |
| 2026 | Oliver Nash | Joined | Imperial College London | Full move |
