Tap a claim on the ring to put it at the centre.
← If AI invents math with clear practical application, it will be used without being understood.
17 connected korrents · 16 moments from 7 May 2024 to 10 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 formal proof
formal proof
Everything filed under AI and science
AI and science
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: If AI invents math with clear practical application, it will be used without being understood. If AI invents math with clear practical application, it will be used without being understood. Last stated yesterday
10 Oct 2026
NS
Noah Smith — holds since 2026-10-10 — tap for who they are
Same subject: AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems. — tap to centre the map on it AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems. 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 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 3 months ago
26 Jul 2026
PW
Peter Woit — holds since 2026-07-26 — 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: 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 4 weeks ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — 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: It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it. — tap to centre the map on it It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it. Last stated 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AIs will usually focus on math that improves information processing and other practical domains rather than discovering new laws or formulas. — tap to centre the map on it AIs will usually focus on math that improves information processing and other practical domains rather than discovering new laws or formulas. Last stated 4 days ago
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: 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 5 months ago
21 May 2026
RK
Rohit Krishnan — holds since 2026-05-21 — tap for who they are
Same subject: A company cannot be led by machines, because nobody would have recourse against them. — tap to centre the map on it A company cannot be led by machines, because nobody would have recourse against them. Last stated 4 weeks ago
15 Sept 2026
TL
Tobias Lütke — holds since 2026-09-15 — 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 2 months ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — 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 2 months ago
26 Aug 2026
HK
Henrik Karlsson — holds since 2026-08-26 — tap for who they are
Same subject: At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse. — tap to centre the map on it At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse. Last stated a month ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — 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: If OpenAI really never told RubyGems of its agents' attack, either it failed to find it in its logs after later incidents or chose silence, and both are bad. — tap to centre the map on it If OpenAI really never told RubyGems of its agents' attack, either it failed to find it in its logs after later incidents or chose silence, and both are bad. Last stated 4 weeks ago
12 Sept 2026
SW
Simon Willison — holds since 2026-09-12 — tap for who they are
At the centre
If AI invents math with clear practical application, it will be used without being understood.
Holds Read this korrent →
AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems.
Holds
AI agents have not yet produced anything genuinely new or important in mathematics.
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
AI will increasingly produce mathematical proofs, just as it already writes most code.
Holds
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds
It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it.
Holds
AIs will usually focus on math that improves information processing and other practical domains rather than discovering new laws or formulas.
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
A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does.
Holds
A company cannot be led by machines, because nobody would have recourse against them.
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 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
A feedback loop that reinforces a behavior pulls it toward whatever improves the loop's own score.
Holds
At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse.
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
If OpenAI really never told RubyGems of its agents' attack, either it failed to find it in its logs after later incidents or chose silence, and both are bad.
Holds