Our readingWhat is a korrent?
An outsider could have disproved the Erdős unit-distance conjecture with a public model, because nobody had tried spending $100,000 of compute on one question.
Drawn from what Noam Brown said
What these subjects mean
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.
AI and science Models used to do science rather than to write: rediscovering laws from data, compressing decades of biology, refereeing a proof.