Tap a claim on the ring to put it at the centre.
← AI has made his papers richer and broader, but not deeper.
17 connected korrents · 14 moments on record from 21 Jan 2019 to 2 Sept 2026.
Everything filed under AI writing
AI writing
Everything filed under formal proof
formal proof
Everything filed under AI slop
AI slop
Everything filed under mathematics
mathematics
Everything filed under semiconductors
semiconductors
Everything filed under AI and jobs
AI and jobs 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: AI has made his papers richer and broader, but not deeper. AI has made his papers richer and broader, but not deeper. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: We will read far more AI-generated writing in documents and email, and we will like it. — tap to centre the map on it We will read far more AI-generated writing in documents and email, and we will like it. Last stated 3 months ago
24 May 2026
DS
Dan Shipper — holds since 2026-05-24 — 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: As AI writes more of the code, an engineer's job shifts away from expressing logic in a language and towards articulating high-level trade-offs. — tap to centre the map on it As AI writes more of the code, an engineer's job shifts away from expressing logic in a language and towards articulating high-level trade-offs. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: He used to think explaining AI's results would be the mathematician's remaining job; he now expects AI to explain better than most humans, so that is not what is left. — tap to centre the map on it He used to think explaining AI's results would be the mathematician's remaining job; he now expects AI to explain better than most humans, so that is not what is left. Last stated 2 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: Semiconductor infrastructure has not kept up with AI's growth, and closing that gap needs capacity built in unconventional ways. — tap to centre the map on it Semiconductor infrastructure has not kept up with AI's growth, and closing that gap needs capacity built in unconventional ways. Last stated 3 months ago
18 Jun 2026
LT
Lip-Bu Tan — holds since 2026-06-18 — tap for who they are
Same subject: AI's impact will be bigger than the internet's, and more profound. — tap to centre the map on it AI's impact will be bigger than the internet's, and more profound. Last stated 3 months ago
18 Jun 2026
LT
Lip-Bu Tan — holds since 2026-06-18 — tap for who they are
Same subject: AI is not the primary driver of the recent decline in the college wage premium — tap to centre the map on it AI is not the primary driver of the recent decline in the college wage premium Last stated 5 days ago
2 Sept 2026
TC
Tyler Cowen — holds since 2026-09-02 — tap for who they are
Same subject: AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. — tap to centre the map on it AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. Last stated a week ago
31 Aug 2026
EM
Ethan Mollick — holds since 2026-08-31 — 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: AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. — tap to centre the map on it AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. Last stated 6 days ago
1 Sept 2026
GO
Gergely Orosz — holds since 2026-09-01 — 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
Same subject: Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. — tap to centre the map on it Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: A growing fraction of social media is AI slop influencers being replied to by bots — an echo of an echo of an echo. — tap to centre the map on it A growing fraction of social media is AI slop influencers being replied to by bots — an echo of an echo of an echo. Last stated 2 weeks ago
23 Aug 2026
FC
François Chollet — holds since 2026-08-23 — tap for who they are
Same subject: A low-effort AI-designed landing page costs a product its audience before the product itself is ever judged. — tap to centre the map on it A low-effort AI-designed landing page costs a product its audience before the product itself is ever judged. Last stated 4 weeks ago
13 Aug 2026
MH
Mitchell Hashimoto — holds since 2026-08-13 — tap for who they are
Same subject: An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one. — tap to centre the map on it An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one. Last stated 2 years ago
18 Sept 2024
DH
David Heinemeier Hansson — holds since 2024-09-18 — tap for who they are
At the centre
AI has made his papers richer and broader, but not deeper.
Holds TT Terence TaoRead this korrent →
We will read far more AI-generated writing in documents and email, and we will like it.
Holds DS Dan Shipper
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 TT Terence Tao
As AI writes more of the code, an engineer's job shifts away from expressing logic in a language and towards articulating high-level trade-offs.
Holds MK Martin Kleppmann
He used to think explaining AI's results would be the mathematician's remaining job; he now expects AI to explain better than most humans, so that is not what is left.
Holds GS Grant Sanderson
A compound's AI origin story is not by itself a reason to expect it to do better in the clinic.
Holds DL Derek Lowe
Semiconductor infrastructure has not kept up with AI's growth, and closing that gap needs capacity built in unconventional ways.
Holds LT Lip-Bu Tan
AI's impact will be bigger than the internet's, and more profound.
Holds LT Lip-Bu Tan
AI is not the primary driver of the recent decline in the college wage premium
Holds TC Tyler Cowen
AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs.
Holds EM Ethan Mollick
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people.
Holds
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
Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost.
Holds HW Hillel Wayne
A growing fraction of social media is AI slop influencers being replied to by bots — an echo of an echo of an echo.
Holds
A low-effort AI-designed landing page costs a product its audience before the product itself is ever judged.
Holds
An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one.
Holds