Tap a claim on the ring to put it at the centre.
← The hardest part of solving a mathematical problem is the part AI has…
17 connected korrents · 11 moments on record from 2 Mar 2022 to 18 Aug 2026.
Everything filed under writing
writing
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under mathematics
mathematics
Everything filed under education
education 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: The hardest part of solving a mathematical problem is the part AI has not touched; he still does it with pen and paper. The hardest part of solving a mathematical problem is the part AI has not touched; he still does it with pen and paper. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: What AI still cannot do in mathematics is build cumulatively on partial progress; it is trial, error and brute force rather than an idea improving through use. — tap to centre the map on it What AI still cannot do in mathematics is build cumulatively on partial progress; it is trial, error and brute force rather than an idea improving through use. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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: Writing is thinking on paper and there is no shortcut for doing that thinking, so handing the writing to AI hands away the thinking. — tap to centre the map on it Writing is thinking on paper and there is no shortcut for doing that thinking, so handing the writing to AI hands away the thinking. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: Struggling with a hard problem before being shown the answer is not always the best way to learn; a hint or a worked example can beat floundering. — tap to centre the map on it Struggling with a hard problem before being shown the answer is not always the best way to learn; a hint or a worked example can beat floundering. Last stated 2 months ago
22 Jul 2026
SY
Scott H. Young — no longer holds since 2026-07-22 — tap for who they are
Same subject: Almost every Erdős problem AI has solved was one with no literature behind it, which is the median level of what these tools can do. — tap to centre the map on it Almost every Erdős problem AI has solved was one with no literature behind it, which is the median level of what these tools can do. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone. — tap to centre the map on it The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone. Last stated 4 weeks ago
10 Aug 2026
FL
Fei-Fei Li — holds since 2026-08-10 — tap for who they are
Same subject: You cannot learn from work you did not do yourself. — tap to centre the map on it You cannot learn from work you did not do yourself. Last stated 2 months ago
22 Jul 2026
SY
Scott H. Young — holds since 2026-07-22 — tap for who they are
Same subject: The worst part of programming is already knowing the solution, when the day holds no unknowns and the work is only typing it out. — tap to centre the map on it The worst part of programming is already knowing the solution, when the day holds no unknowns and the work is only typing it out. Last stated a year ago
22 Mar 2025
TH
ThePrimeagen — holds since 2025-03-22 — tap for who they are
Same subject: A browser that answers with generated prose instead of links is not a web browser but an anti-web browser, and it hides that substitution from the person using it. — tap to centre the map on it A browser that answers with generated prose instead of links is not a web browser but an anti-web browser, and it hides that substitution from the person using it. Last stated 11 months ago
22 Oct 2025
AD
Anil Dash — holds since 2025-10-22 — tap for who they are
Same subject: A first draft should not be graded good or bad; it is only the material that taste then gets to act on. — tap to centre the map on it A first draft should not be graded good or bad; it is only the material that taste then gets to act on. Last stated a month ago
6 Aug 2026
GS
George Saunders — holds since 2026-08-06 — tap for who they are
Same subject: A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing. — tap to centre the map on it A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing. Last stated 5 years ago
2 Mar 2022
DS
Derek Sivers — holds since 2022-03-02 — 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
The hardest part of solving a mathematical problem is the part AI has not touched; he still does it with pen and paper.
Holds TT Terence TaoRead this korrent →
What AI still cannot do in mathematics is build cumulatively on partial progress; it is trial, error and brute force rather than an idea improving through use.
Holds TT Terence Tao
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
Writing is thinking on paper and there is no shortcut for doing that thinking, so handing the writing to AI hands away the thinking.
Holds CM Charity Majors
Struggling with a hard problem before being shown the answer is not always the best way to learn; a hint or a worked example can beat floundering.
No longer holds SY Scott H. Young
Almost every Erdős problem AI has solved was one with no literature behind it, which is the median level of what these tools can do.
Holds TT Terence Tao
The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone.
Holds FL Fei-Fei Li
You cannot learn from work you did not do yourself.
Holds SY Scott H. Young
The worst part of programming is already knowing the solution, when the day holds no unknowns and the work is only typing it out.
Holds TH ThePrimeagen
A browser that answers with generated prose instead of links is not a web browser but an anti-web browser, and it hides that substitution from the person using it.
Holds AD Anil Dash
A first draft should not be graded good or bad; it is only the material that taste then gets to act on.
Holds GS George Saunders
A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing.
Holds
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