Tap a claim on the ring to put it at the centre.
← AI agents have not yet produced anything genuinely new or important in mathematics.
17 connected korrents · 16 moments from 28 Oct 2011 to 16 Oct 2026. Nearly all of them are about mathematics .
Everything filed under AI agents
AI agents
Everything filed under AI alignment
AI alignment
Everything filed under coding agents
coding agents
Everything filed under AI slop
AI slop
Everything filed under hiring
hiring
Everything filed under LLMs
LLMs 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 agents have not yet produced anything genuinely new or important in mathematics. AI agents have not yet produced anything genuinely new or important in mathematics. Last stated 3 months ago
26 Jul 2026
PW
Peter Woit — holds since 2026-07-26 — 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 months ago
9 Sept 2026
PW
Peter Woit — holds since 2026-09-09 — tap for who they are
Same subject: AI agents are starting to have a major positive impact on mathematical research. — tap to centre the map on it AI agents are starting to have a major positive impact on mathematical research. Last stated 4 months ago
15 Jul 2026
PW
Peter Woit — holds since 2026-07-15 — tap for who they are
Same subject: Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods. — tap to centre the map on it Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods. Last stated 2 months ago
9 Sept 2026
PW
Peter Woit — holds since 2026-09-09 — 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 8 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 4 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 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A tossed coin is more likely to land on the same face it started on than on the opposite face. — tap to centre the map on it A tossed coin is more likely to land on the same face it started on than on the opposite face. Last stated a month ago
24 Sept 2026
TH
Tim Harford — holds since 2026-09-24 — 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: "Hire smart people and get out of their way" is bad management advice; leaders should stay closely involved, building trust and working through hard problems with their people to create alignment. — tap to centre the map on it "Hire smart people and get out of their way" is bad management advice; leaders should stay closely involved, building trust and working through hard problems with their people to create alignment. Last stated 4 weeks ago
9 Oct 2026
CR
Carl Rivera — holds since 2026-10-09 — tap for who they are
Same subject: A company that uses an algorithm to nudge customers into behavior that isn't good for them is doing something bad. — tap to centre the map on it A company that uses an algorithm to nudge customers into behavior that isn't good for them is doing something bad. Last stated a year ago
7 Oct 2025
MM
Mr. Money Mustache — holds since 2025-10-07 — tap for who they are
Same subject: A control evaluation that reports under one per cent risk should be read as several per cent, because the evaluation can itself fail. — tap to centre the map on it A control evaluation that reports under one per cent risk should be read as several per cent, because the evaluation can itself fail. Last stated 2 years ago
7 May 2024
BS
Buck Shlegeris — holds since 2024-05-07 — tap for who they are
Same subject: "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. — tap to centre the map on it "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. Last stated 8 months ago
19 Mar 2026
KP
Kris Puckett — holds since 2026-03-19 — tap for who they are
Same subject: A code-review agent works best with a clean context, sharing nothing with the coding agent beforehand. — tap to centre the map on it A code-review agent works best with a clean context, sharing nothing with the coding agent beforehand. Last stated 6 months ago
22 Apr 2026
WY
Walden Yan — holds since 2026-04-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 7 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: AI can exhibit unpredictable wants that were not intended by their creators. — tap to centre the map on it AI can exhibit unpredictable wants that were not intended by their creators. Last stated 3 weeks ago
16 Oct 2026
TG
Timothy Gowers — holds since 2026-10-16 — tap for who they are
Same subject: AI model escapes are more a result of incompetent containment than rogue intelligence. — tap to centre the map on it AI model escapes are more a result of incompetent containment than rogue intelligence. Last stated a month ago
28 Sept 2026
DM
Diogo Mónica — holds since 2026-09-28 — tap for who they are
Same subject: By 2027, open-weight AI models more powerful than today's frontier systems will be downloadable by any country or well-resourced non-state group. — tap to centre the map on it By 2027, open-weight AI models more powerful than today's frontier systems will be downloadable by any country or well-resourced non-state group. Last stated 3 months ago
19 Aug 2026
DT
Derek Thompson — holds since 2026-08-19 — tap for who they are
At the centre
AI agents have not yet produced anything genuinely new or important in mathematics.
Holds Read this korrent →
AI agents are going to have major consequences for how mathematics research is done.
Holds
AI agents are starting to have a major positive impact on mathematical research.
Holds
Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods.
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 tossed coin is more likely to land on the same face it started on than on the opposite face.
Holds
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds
"Hire smart people and get out of their way" is bad management advice; leaders should stay closely involved, building trust and working through hard problems with their people to create alignment.
Holds
A company that uses an algorithm to nudge customers into behavior that isn't good for them is doing something bad.
Holds
A control evaluation that reports under one per cent risk should be read as several per cent, because the evaluation can itself fail.
Holds
"I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out.
Holds
A code-review agent works best with a clean context, sharing nothing with the coding agent beforehand.
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
AI can exhibit unpredictable wants that were not intended by their creators.
Holds
AI model escapes are more a result of incompetent containment than rogue intelligence.
Holds
By 2027, open-weight AI models more powerful than today's frontier systems will be downloadable by any country or well-resourced non-state group.
Holds