Tap a claim on the ring to put it at the centre.
← In the AI talent market, time feels like the most fixed and precious resource.
17 connected korrents · 17 moments from 17 Sept 2010 to 21 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under ideas vs execution
ideas vs execution
Everything filed under LLMs
LLMs
Everything filed under code generation
code generation
Everything filed under simplicity
simplicity 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: In the AI talent market, time feels like the most fixed and precious resource. In the AI talent market, time feels like the most fixed and precious resource. Last stated 2 months ago
9 Aug 2026
AW
Adam Ward — holds since 2026-08-09 — tap for who they are
Same subject: AI makes work feel finished very fast, too often prematurely. — tap to centre the map on it AI makes work feel finished very fast, too often prematurely. Last stated 3 weeks ago
10 Sept 2026
KD
Katie Dill — holds since 2026-09-10 — tap for who they are
Same subject: In a fast-changing AI market, being prolific and empirical matters far more than being academic or theoretical. — tap to centre the map on it In a fast-changing AI market, being prolific and empirical matters far more than being academic or theoretical. Last stated a month ago
30 Aug 2026
TS
Tara Seshan — holds since 2026-08-30 — tap for who they are
Same subject: Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job. — tap to centre the map on it Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: Not every token is worth the same amount, so AI will be sold by results and by the hour as well as by the token. — tap to centre the map on it Not every token is worth the same amount, so AI will be sold by results and by the hour as well as by the token. Last stated 8 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — tap for who they are
Same subject: AI is at its best when it reuses great existing components rather than regenerating everything from first principles. — tap to centre the map on it AI is at its best when it reuses great existing components rather than regenerating everything from first principles. Last stated 4 weeks ago
8 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-08 — tap for who they are
Same subject: As AI makes building faster and cheaper, choosing the right thing to build matters more than ever, because a competitor will get it right if you don't. — tap to centre the map on it As AI makes building faster and cheaper, choosing the right thing to build matters more than ever, because a competitor will get it right if you don't. Last stated a year ago
18 Jul 2025
JE
Jason Evanish — holds since 2025-07-18 — tap for who they are
Same subject: Limited time and resources are what force a work to be tight and to feel like it has a purpose. — tap to centre the map on it Limited time and resources are what force a work to be tight and to feel like it has a purpose. Last stated 16 years ago
17 Sept 2010
DY
Derek Yu — holds since 2010-09-17 — tap for who they are
Same subject: People do not value or care about something built by AI, regardless of its quality, because no personal effort went into it. — tap to centre the map on it People do not value or care about something built by AI, regardless of its quality, because no personal effort went into it. Last stated 2 weeks ago
21 Sept 2026
SJ
Stefan Judis — holds since 2026-09-21 — tap for who they are
Same subject: A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. — tap to centre the map on it A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. Last stated 7 months ago
3 Mar 2026
SB
Sanjay Bakshi — holds since 2026-03-03 — 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 3 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 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. — tap to centre the map on it A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. Last stated 2 years ago
13 May 2024
DL
Derek Lowe — holds since 2024-05-13 — tap for who they are
Same subject: A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. — tap to centre the map on it A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: A million copies of one researcher would hit diminishing returns quickly, because what research needs is people who think differently. — tap to centre the map on it A million copies of one researcher would hit diminishing returns quickly, because what research needs is people who think differently. Last stated 10 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: AI will increasingly produce mathematical proofs, just as it already writes most code. — tap to centre the map on it AI will increasingly produce mathematical proofs, just as it already writes most code. Last stated 3 weeks ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — tap for who they are
At the centre
In the AI talent market, time feels like the most fixed and precious resource.
Holds Read this korrent →
AI makes work feel finished very fast, too often prematurely.
Holds
In a fast-changing AI market, being prolific and empirical matters far more than being academic or theoretical.
Holds
Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job.
Holds
Not every token is worth the same amount, so AI will be sold by results and by the hour as well as by the token.
Holds
AI is at its best when it reuses great existing components rather than regenerating everything from first principles.
Holds
As AI makes building faster and cheaper, choosing the right thing to build matters more than ever, because a competitor will get it right if you don't.
Holds
Limited time and resources are what force a work to be tight and to feel like it has a purpose.
Holds
People do not value or care about something built by AI, regardless of its quality, because no personal effort went into it.
Holds
A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock.
Holds
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds
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
A compound's AI origin story is not by itself a reason to expect it to do better in the clinic.
Holds
A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known.
Holds
A million copies of one researcher would hit diminishing returns quickly, because what research needs is people who think differently.
Holds
A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.
Holds
AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.
Holds
AI will increasingly produce mathematical proofs, just as it already writes most code.
Holds