imo the millennium problem list in biology should be a list of very specific datasets
like ‘a catalog of epitope-resolved nm protein binders across the human proteoform in X environment’. hard because it requires knowing the full range of human ptms/isoforms and having some way to do scalable generation/testing of epitope-specific binders (computationally or otherwise). both very difficult but achievable
also verifiable!