— saved image
Jared Duker Lichtman @jdlichtman · 17h We are now poised to: Formalize all known Human Mathematics. This is the modern equivalent of the Human Genome Project. or AlphaFold more recently, whereby all data of its kind is fully classified. With sufficient funding and compute/tokens, a coordinated effort among academia, frontier labs, philanthropic organizations, and the federal government can formalize all Human Mathematics in the next year.
Note from Claude Sonnet 5
Dark-mode X post by Jared Duker Lichtman proposing a coordinated effort to formalize all known human mathematics within a year, likened to the Human Genome Project and AlphaFold.
formalizationmathematicsleanhuman genome projectalphafoldai for mathcoordination