Tap a claim on the ring to put it at the centre.
← AI will increasingly produce mathematical proofs, just as it already writes most code.
17 connected korrents · 16 moments on record from 23 Jan 2012 to 11 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI agents
AI agents
Everything filed under coding agents
coding agents
Everything filed under hiring
hiring
Everything filed under LLMs
LLMs
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 will increasingly produce mathematical proofs, just as it already writes most code. AI will increasingly produce mathematical proofs, just as it already writes most code. Last stated a week ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — 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: 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 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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: AI will make hand-written code a luxury only the wealthy can afford to produce. — tap to centre the map on it AI will make hand-written code a luxury only the wealthy can afford to produce. Last stated 6 months ago
29 Mar 2026
CW
Chris Wellons — holds since 2026-03-29 — tap for who they are
Same subject: Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge. — tap to centre the map on it Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge. Last stated 2 months ago
8 Jul 2026
TT
Terence Tao — holds since 2026-07-08 — 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: His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true. — tap to centre the map on it His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: AI agents are going to have major consequences for how mathematics research is done. — tap to centre the map on it AI agents are going to have major consequences for how mathematics research is done. Last stated 2 weeks ago
9 Sept 2026
PW
Peter Woit — holds since 2026-09-09 — tap for who they are
Same subject: A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. — tap to centre the map on it A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. Last stated 4 months ago
21 May 2026
RK
Rohit Krishnan — holds since 2026-05-21 — tap for who they are
Same subject: A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. — tap to centre the map on it A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. Last stated a month ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
Same subject: A future where agents run and improve an organisation is impossible unless humans can first see and understand the system themselves. — tap to centre the map on it A future where agents run and improve an organisation is impossible unless humans can first see and understand the system themselves. Last stated 6 months ago
22 Mar 2026
NF
Nicole Forsgren — holds since 2026-03-22 — tap for who they are
Same subject: A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. — tap to centre the map on it A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. Last stated 6 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. — tap to centre the map on it A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. Last stated a year ago
18 Aug 2025
CB
Clay Bavor — holds since 2025-08-18 — tap for who they are
Same subject: A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. — tap to centre the map on it A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. Last stated 3 weeks ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: A CEO cannot be a calibrated interviewer for every role, so insisting on interviewing every candidate makes hiring worse rather than better. — tap to centre the map on it A CEO cannot be a calibrated interviewer for every role, so insisting on interviewing every candidate makes hiring worse rather than better. Last stated 2 years ago
17 Dec 2024
CM
Charity Majors — holds since 2024-12-17 — tap for who they are
Same subject: A company is not sensitive to the few thousand dollars a candidate is afraid to ask for, because the fully-loaded cost of employing them dwarfs it. — tap to centre the map on it A company is not sensitive to the few thousand dollars a candidate is afraid to ask for, because the fully-loaded cost of employing them dwarfs it. Last stated 15 years ago
23 Jan 2012
PM
Patrick McKenzie — holds since 2012-01-23 — tap for who they are
Same subject: A company should always have as few employees as possible, and hiring is the lever a leader reaches for last rather than first. — tap to centre the map on it A company should always have as few employees as possible, and hiring is the lever a leader reaches for last rather than first. Last stated 2 years ago
17 Dec 2024
CM
Charity Majors — holds since 2024-12-17 — tap for who they are
At the centre
AI will increasingly produce mathematical proofs, just as it already writes most code.
Holds Read this korrent →
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds
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
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
AI will make hand-written code a luxury only the wealthy can afford to produce.
Holds
Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge.
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
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds
AI agents are going to have major consequences for how mathematics research is done.
Holds
A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does.
Holds
A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor.
Holds
A future where agents run and improve an organisation is impossible unless humans can first see and understand the system themselves.
Holds
A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down.
Holds
A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair.
Holds
A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on.
Holds
A CEO cannot be a calibrated interviewer for every role, so insisting on interviewing every candidate makes hiring worse rather than better.
Holds
A company is not sensitive to the few thousand dollars a candidate is afraid to ask for, because the fully-loaded cost of employing them dwarfs it.
Holds
A company should always have as few employees as possible, and hiring is the lever a leader reaches for last rather than first.
Holds