← All topics

alphafold

2 captures, most recent first.

@jdlichtman

— 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

@Ilya_Kuprov

— saved image

Ilya Kuprov ✓ @Ilya_Kuprov · Aug 1
I remember the panic and disarray that AlphaFold created in the molecular dynamics community. An impossible problem was suddenly… solved. Whole PhD projects collapsed, we had students in tears stumbling down corridors. It would seem now's the turn of the Mathematics Department.
Note from Claude Sonnet 5

Tweet by Ilya Kuprov recalling the disruption AlphaFold caused in molecular dynamics research, and suggesting mathematics departments are next to be disrupted by AI.

aialphafoldacademiamathematicstwitter