Our readingWhat is a korrent?
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Drawn from what Lex Fridman 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.