Wonderful new project!

The #Math Genome #Project aims to create a free, public, standard and reliable map of all #mathematics including informal, formal #proofs, and outstanding #conjectures.

https://www.themathgenome.com/about