One of the most beautiful things in mathematics are theorems of conjectures that are very simple to state and understand (e.g. for K-12, lower undergrad levels), but extremely hard to prove.
This is in contrast to conjectures in certain areas where you'd have to study for a few months just to precisely understand all the definitions and the interest of the problem statement.
Bibliography:
- mathoverflow.net/questions/75698/examples-of-seemingly-elementary-problems-that-are-hard-to-solve
- www.reddit.com/r/mathematics/comments/klev7b/whats_your_favorite_easy_to_state_and_understand/
- mathoverflow.net/questions/42512/awfully-sophisticated-proof-for-simple-facts this one is for proofs for which simpler proofs exist
- math.stackexchange.com/questions/415365/it-looks-straightforward-but-actually-it-isnt this one is for "there is some reason it looks easy", whatever that means
UniProt human: www.uniprot.org/uniprot/Q9BYF1 It is interesting to see in the Mutagenesis how many known mutations can increase or decrease SARS-CoV-2 S protein binding affinity.
As mentioned by Craig Venter in 100 Greatest Discoveries by the Discovery Channel (2004-2005), the main outcomes of the project were:
- it established the ballpark number of human genes
- showed that human genomes are very similar across individuals.
Important predecessors:
Sample paper: www.nature.com/articles/ng.3247
The point of these is that they are good for transfection apparently.
This was the first large part of the genome that was sequenced, in 1981: Cambridge Reference Sequence. Presumably they picked it because it is short and does not undergo crossover.
TODO: many places say "exactly" 16,569, it seems that variable number tandem repeat are either rare or don't occur!
- pubmed.ncbi.nlm.nih.gov/2881260/ 1989 reports a single length polymorphism
There are unlisted articles, also show them or only show them.