2026-07-21

Proving theorems is over. Time to conjecture.

Tweet image