Tap a claim on the ring to put it at the centre.
← A proof and an explanation are different things, and a theorem can…
8 connected korrents · 6 moments on record from 28 Oct 2011 to 10 Aug 2026. Nearly all of them are about mathematics .
−
+
Fit
Full text
Drag to move · pinch or scroll to zoom
Everything filed under AI and science
AI and science Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. Last stated 2 months ago 30 Jun 2026 · 2 months ago
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. — tap to centre the map on it AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of… Last stated a year ago 14 Jun 2025 · a year ago
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. — tap to centre the map on it AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory… Last stated a year ago 14 Jun 2025 · a year ago
LF
Lex Fridman — holds since 2025-06-14 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more… Last stated 2 months ago 30 Jun 2026 · 2 months ago
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. — tap to centre the map on it Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. Last stated 15 years ago 28 Oct 2011 · 15 years ago
PM
Patrick McKenzie — holds since 2011-10-28 — tap for who they are
Same subject: Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. — tap to centre the map on it Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. Last stated 5 months ago 8 Apr 2026 · 5 months ago
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. — tap to centre the map on it AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a… Last stated 2 months ago 30 Jun 2026 · 2 months ago
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems. — tap to centre the map on it AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work… Last stated 6 months ago 20 Mar 2026 · 6 months ago
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: Almost every recent AI breakthrough has been in code and mathematics, the two domains with highly structured languages and huge specialised training sets. — tap to centre the map on it Almost every recent AI breakthrough has been in code and mathematics, the two domains with highly structured… Last stated 4 weeks ago 10 Aug 2026 · 4 weeks ago
CN
Cal Newport — holds since 2026-08-10 — tap for who they are