Tap a claim on the ring to put it at the centre.
← Everything we build — every proof, every Nobel Prize, every idea, even…
17 connected korrents · 12 moments on record from 29 Aug 2023 to 18 Aug 2026.
Everything filed under mathematics
mathematics
Everything filed under AGI
AGI
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof 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: Everything we build — every proof, every Nobel Prize, every idea, even the AI — will eventually be erased, which is why the near term matters. Everything we build — every proof, every Nobel Prize, every idea, even the AI — will eventually be erased, which is why the near term matters. Last stated a year ago
5 May 2025
JL
Janna Levin — holds since 2025-05-05 — 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 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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: Underestimating near-term AI progress is itself a danger, which is why researchers should register their forecasts in public. — tap to centre the map on it Underestimating near-term AI progress is itself a danger, which is why researchers should register their forecasts in public. Last stated 3 years ago
29 Aug 2023
AC
Ajeya Cotra — holds since 2023-08-29 — tap for who they are
Same subject: Whatever the term, by 2030 AI progress will be so dramatic that the world will be dealing with its consequences, good and bad, in a big way. — tap to centre the map on it Whatever the term, by 2030 AI progress will be so dramatic that the world will be dealing with its consequences, good and bad, in a big way. Last stated a year ago
5 Jun 2025
SP
Sundar Pichai — holds since 2025-06-05 — 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: 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: Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw. — tap to centre the map on it Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Continual learning will probably be solved within a year or two, but the trillions of dollars do not depend on solving it. — tap to centre the map on it Continual learning will probably be solved within a year or two, but the trillions of dollars do not depend on solving it. Last stated 7 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — tap for who they are
Same subject: A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. — tap to centre the map on it A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean. — tap to centre the map on it A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean. Last stated 9 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. — tap to centre the map on it AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — tap for who they are
Same subject: Autonomous cloud labs that run the whole loop — hypothesis, experiment, result, next hypothesis — without human intervention are within reach. — tap to centre the map on it Autonomous cloud labs that run the whole loop — hypothesis, experiment, result, next hypothesis — without human intervention are within reach. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — tap for who they are
Same subject: Current AI struggles even to rediscover old laws of physics from data, and when it does, contamination from training is the first suspect. — tap to centre the map on it Current AI struggles even to rediscover old laws of physics from data, and when it does, contamination from training is the first suspect. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — 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: 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
At the centre
Everything we build — every proof, every Nobel Prize, every idea, even the AI — will eventually be erased, which is why the near term matters.
Holds JL Janna LevinRead this korrent →
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 GS Grant Sanderson
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
Underestimating near-term AI progress is itself a danger, which is why researchers should register their forecasts in public.
Holds AC Ajeya Cotra
Whatever the term, by 2030 AI progress will be so dramatic that the world will be dealing with its consequences, good and bad, in a big way.
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 GS Grant Sanderson
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds TT Terence Tao
Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw.
Holds GS Grant Sanderson
Continual learning will probably be solved within a year or two, but the trillions of dollars do not depend on solving it.
Holds DA Dario Amodei
A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated.
Holds AI Alex Imas
A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean.
Holds IS Ilya Sutskever
A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted.
Holds GM Gary Marcus
AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different.
Holds MK Michael Kratsios
Autonomous cloud labs that run the whole loop — hypothesis, experiment, result, next hypothesis — without human intervention are within reach.
Holds MK Michael Kratsios
Current AI struggles even to rediscover old laws of physics from data, and when it does, contamination from training is the first suspect.
Holds TT Terence Tao
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
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