Tap a claim on the ring to put it at the centre.
← The moment somebody offers you more, that is what you are worth — it is market evidence, and you cannot unsee it.
15 connected korrents · 10 moments on record from 28 Oct 2011 to 18 Aug 2026.
Everything filed under mathematics
mathematics
Everything filed under formal proof
formal proof
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 Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: The moment somebody offers you more, that is what you are worth — it is market evidence, and you cannot unsee it. The moment somebody offers you more, that is what you are worth — it is market evidence, and you cannot unsee it. Last stated 3 months ago
3 Jun 2026
KH
Kelsey Hightower — holds since 2026-06-03 — tap for who they are
Same subject: Selling a saving caps what you can charge; selling more of what the buyer already values raises that cap by an order of magnitude. — tap to centre the map on it Selling a saving caps what you can charge; selling more of what the buyer already values raises that cap by an order of magnitude. Last stated 7 months ago
25 Jan 2026
JC
Jason Cohen — holds since 2026-01-25 — tap for who they are
Same subject: Some ideas are worth funding with fifty million dollars or with nothing, and never with five million, because underfunding buys you an ambiguous outcome instead of an answer. — tap to centre the map on it Some ideas are worth funding with fifty million dollars or with nothing, and never with five million, because underfunding buys you an ambiguous outcome instead of an answer. Last stated a month ago
7 Aug 2026
MH
Max Hodak — holds since 2026-08-07 — tap for who they are
Same subject: A company priced in the trillions is not thereby overpriced; the test is what revenues and margins that price actually requires. — tap to centre the map on it A company priced in the trillions is not thereby overpriced; the test is what revenues and margins that price actually requires. Last stated 9 months ago
3 Dec 2025
AD
Aswath Damodaran — holds since 2025-12-03 — tap for who they are
Same subject: An H100 is worth more today than it was when it was new, because the models it runs got better faster than its replacements arrived. — tap to centre the map on it An H100 is worth more today than it was when it was new, because the models it runs got better faster than its replacements arrived. Last stated 6 months ago
13 Mar 2026
DP
Dylan Patel — holds since 2026-03-13 — tap for who they are
Same subject: Price selects the market: a serious buyer reads a low price as evidence that the product cannot possibly be good enough. — tap to centre the map on it Price selects the market: a serious buyer reads a low price as evidence that the product cannot possibly be good enough. Last stated 7 months ago
25 Jan 2026
JC
Jason Cohen — holds since 2026-01-25 — tap for who they are
Same subject: Anyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers. — tap to centre the map on it Anyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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 will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. — tap to centre the map on it AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — 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
The moment somebody offers you more, that is what you are worth — it is market evidence, and you cannot unsee it.
Holds KH Kelsey HightowerRead this korrent →
Selling a saving caps what you can charge; selling more of what the buyer already values raises that cap by an order of magnitude.
Holds JC Jason Cohen
Some ideas are worth funding with fifty million dollars or with nothing, and never with five million, because underfunding buys you an ambiguous outcome instead of an answer.
Holds MH Max Hodak
A company priced in the trillions is not thereby overpriced; the test is what revenues and margins that price actually requires.
Holds AD Aswath Damodaran
An H100 is worth more today than it was when it was new, because the models it runs got better faster than its replacements arrived.
Holds DP Dylan Patel
Price selects the market: a serious buyer reads a low price as evidence that the product cannot possibly be good enough.
Holds JC Jason Cohen
Anyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers.
Holds GS Grant Sanderson
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 will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different.
Holds MK Michael Kratsios
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