In the evolution of mathematics, theorems are genes, proofs are crossover, and mathematicians are the fitness function.

→ View original post on X — @pmddomingos