Tap a claim on the ring to put it at the centre.
← Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics.
17 connected korrents · 13 moments on record from 12 Feb 2010 to 10 Aug 2026. Nearly all of them are about mathematics .
Everything filed under physics
physics
Everything filed under taste
taste
Everything filed under formal proof
formal proof
Everything filed under AI and science
AI and science
Everything filed under AI writing
AI writing
Everything filed under hiring
hiring
Everything filed under benchmarks
benchmarks Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. 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
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it 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
GS
Grant Sanderson — holds since 2026-06-30 — 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 than the paper is worth even at ninety-nine percent. Last stated 2 months ago
30 Jun 2026
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
PM
Patrick McKenzie — holds since 2011-10-28 — 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 splitting a problem makes it easier rather than harder. Last stated a year ago
14 Jun 2025
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 from that. Last stated a year ago
14 Jun 2025
LF
Lex Fridman — holds since 2025-06-14 — 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 shift in how mathematicians talk about the tools. Last stated 2 months ago
30 Jun 2026
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, rather than the careful solving of individual problems. Last stated 6 months ago
20 Mar 2026
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 languages and huge specialised training sets. Last stated 4 weeks ago
10 Aug 2026
CN
Cal Newport — holds since 2026-08-10 — tap for who they are
Same subject: A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. — tap to centre the map on it A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. Last stated 3 years ago
3 Dec 2023
LR
Lisa Randall — holds since 2023-12-03 — tap for who they are
Same subject: A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. — tap to centre the map on it A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences. — tap to centre the map on it A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences. Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: A first draft should not be graded good or bad; it is only the material that taste then gets to act on. — tap to centre the map on it A first draft should not be graded good or bad; it is only the material that taste then gets to act on. Last stated a month ago
6 Aug 2026
GS
George Saunders — holds since 2026-08-06 — tap for who they are
Same subject: A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare skill. — tap to centre the map on it A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare skill. Last stated 11 months ago
16 Oct 2025
DF
Dylan Field — holds since 2025-10-16 — tap for who they are
Same subject: A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and gets furious about every small detail. — tap to centre the map on it A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and gets furious about every small detail. Last stated 17 years ago
12 Feb 2010
KS
Karri Saarinen — holds since 2010-02-12 — tap for who they are
Same subject: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
At the centre
Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics.
Holds 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.
Holds GS Grant Sanderson
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.
Holds GS Grant Sanderson
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds PM Patrick McKenzie
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.
Holds TT Terence Tao
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Holds LF Lex Fridman
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.
Holds GS Grant Sanderson
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.
Holds TT Terence Tao
Almost every recent AI breakthrough has been in code and mathematics, the two domains with highly structured languages and huge specialised training sets.
Holds CN Cal Newport
A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences.
Holds LR Lisa Randall
A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one.
Holds NB Noam Brown
A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences.
Holds MN Michael Nielsen
A first draft should not be graded good or bad; it is only the material that taste then gets to act on.
Holds GS George Saunders
A lot of people can match a framework for taste; almost nobody can create one, and creating one is the rare skill.
Holds DF Dylan Field
A product needs a soul, and for that it needs one person of great taste who is its living, breathing aspect and gets furious about every small detail.
Holds KS Karri Saarinen
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
Holds MK Martin Kleppmann
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao