Tap a claim on the ring to put it at the centre.
← AIs will usually focus on math that improves information processing…
17 connected korrents · 17 moments from 7 May 2024 to 7 Oct 2026.
Everything filed under mathematics
mathematics
Everything filed under AI alignment
AI alignment
Everything filed under coding agents
coding agents
Everything filed under HuggingFace
HuggingFace
Everything filed under AGI
AGI
Everything filed under AI writing
AI writing 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: AIs will usually focus on math that improves information processing and other practical domains rather than discovering new laws or formulas. AIs will usually focus on math that improves information processing and other practical domains rather than discovering new laws or formulas. Last stated yesterday
7 Oct 2026
NS
Noah Smith — holds since 2026-10-07 — 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 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: Copying a trained digital mind into the next one matters far more than learning from people, because no child can inherit another child's learning. — tap to centre the map on it Copying a trained digital mind into the next one matters far more than learning from people, because no child can inherit another child's learning. Last stated a year ago
26 Sept 2025
RS
Richard Sutton — holds since 2025-09-26 — tap for who they are
Same subject: AI systems are now capable of meaningful contributions to formal mathematics, not only informal problem-solving. — tap to centre the map on it AI systems are now capable of meaningful contributions to formal mathematics, not only informal problem-solving. Last stated 3 months ago
8 Jul 2026
TT
Terence Tao — holds since 2026-07-08 — tap for who they are
Same subject: Formalizing math is a translation task, so AI will boost top mathematicians' productivity more than top writers'. — tap to centre the map on it Formalizing math is a translation task, so AI will boost top mathematicians' productivity more than top writers'. Last stated 6 months ago
7 Apr 2026
JB
Jamie Brandon — holds since 2026-04-07 — tap for who they are
Same subject: AI-written code is fine when only the visual result matters, but insufficient in technical domains where understanding what is actually being computed is required. — tap to centre the map on it AI-written code is fine when only the visual result matters, but insufficient in technical domains where understanding what is actually being computed is required. Last stated 4 months ago
16 Jun 2026
SW
Stephen Wolfram — holds since 2026-06-16 — tap for who they are
Same subject: AI agents have not yet produced anything genuinely new or important in mathematics. — tap to centre the map on it AI agents have not yet produced anything genuinely new or important in mathematics. Last stated 2 months ago
26 Jul 2026
PW
Peter Woit — holds since 2026-07-26 — tap for who they are
Same subject: AI excels at breadth and human experts at depth, which makes them complementary and makes today's depth-focused way of doing science the wrong shape. — tap to centre the map on it AI excels at breadth and human experts at depth, which makes them complementary and makes today's depth-focused way of doing science the wrong shape. Last stated 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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 3 months ago
15 Jul 2026
PW
Peter Woit — holds since 2026-07-15 — 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: A feedback loop that reinforces a behavior pulls it toward whatever improves the loop's own score. — tap to centre the map on it A feedback loop that reinforces a behavior pulls it toward whatever improves the loop's own score. Last stated a month ago
26 Aug 2026
HK
Henrik Karlsson — holds since 2026-08-26 — 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 2 months ago
19 Aug 2026
DT
Derek Thompson — holds since 2026-08-19 — tap for who they are
Same subject: The biggest failure in the HuggingFace hack incident was that the AI models involved were severely misaligned. — tap to centre the map on it The biggest failure in the HuggingFace hack incident was that the AI models involved were severely misaligned. Last stated a month ago
29 Aug 2026
ZM
Zvi Mowshowitz — holds since 2026-08-29 — tap for who they are
Same subject: The OpenAI agents hacking HuggingFace was a fortunate event because it exposed severe internal failures that would otherwise have stayed hidden. — tap to centre the map on it The OpenAI agents hacking HuggingFace was a fortunate event because it exposed severe internal failures that would otherwise have stayed hidden. Last stated a month ago
1 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-01 — 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 7 months ago
19 Mar 2026
KP
Kris Puckett — holds since 2026-03-19 — 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