Tap a claim on the ring to put it at the centre.
← The mathematical problems whose solutions have not yet been invented…
17 connected korrents · 13 moments on record from 3 Dec 2023 to 1 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI writing
AI writing
Everything filed under physics
physics
Everything filed under formal proof
formal proof
Everything filed under AI alignment
AI alignment
Everything filed under AI and science
AI and science 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 mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone. 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: Hybrid human-plus-AI teams will dominate mathematics for a lot longer, and a full replacement would need breakthroughs beyond anything we now have. — tap to centre the map on it Hybrid human-plus-AI teams will dominate mathematics for a lot longer, and a full replacement would need breakthroughs beyond anything we now have. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: This decade, AI could propose a conjecture connecting two things nobody thought were related, with a real chance of it being correct and meaningful. — tap to centre the map on it This decade, AI could propose a conjecture connecting two things nobody thought were related, with a real chance of it being correct and meaningful. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — 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: The number one unsolved problem in AI is not technical alignment but human alignment, because we cannot agree on the values to align to. — tap to centre the map on it The number one unsolved problem in AI is not technical alignment but human alignment, because we cannot agree on the values to align to. Last stated 4 months ago
10 May 2026
ER
Eric Ries — holds since 2026-05-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 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: Alignment of today's models is going well enough to look solvable, while aligning models we can no longer understand remains unsolved. — tap to centre the map on it Alignment of today's models is going well enough to look solvable, while aligning models we can no longer understand remains unsolved. Last stated 7 months ago
22 Jan 2026
JL
Jan Leike — holds since 2026-01-22 — 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
Same subject: A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. — tap to centre the map on it A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. Last stated 3 years ago
3 Dec 2023
LR
Lisa Randall — holds since 2023-12-03 — tap for who they are
Same subject: A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. — tap to centre the map on it A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences. — tap to centre the map on it A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences. Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. — tap to centre the map on it AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. Last stated a week ago
31 Aug 2026
EM
Ethan Mollick — holds since 2026-08-31 — tap for who they are
Same subject: AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. — tap to centre the map on it AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. Last stated 6 days ago
1 Sept 2026
GO
Gergely Orosz — holds since 2026-09-01 — tap for who they are
Same subject: An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one. — tap to centre the map on it An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one. Last stated 2 years ago
18 Sept 2024
DH
David Heinemeier Hansson — holds since 2024-09-18 — tap for who they are
At the centre
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 LiRead this korrent →
Hybrid human-plus-AI teams will dominate mathematics for a lot longer, and a full replacement would need breakthroughs beyond anything we now have.
Holds TT Terence Tao
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds TT Terence Tao
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
This decade, AI could propose a conjecture connecting two things nobody thought were related, with a real chance of it being correct and meaningful.
Holds TT Terence Tao
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
The number one unsolved problem in AI is not technical alignment but human alignment, because we cannot agree on the values to align to.
Holds ER Eric Ries
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 TT Terence Tao
Alignment of today's models is going well enough to look solvable, while aligning models we can no longer understand remains unsolved.
Holds JL Jan Leike
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
A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences.
Holds LR Lisa Randall
A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one.
Holds NB Noam Brown
A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences.
Holds MN Michael Nielsen
AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs.
Holds EM Ethan Mollick
AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people.
Holds
An AI-written cover letter reads as slop to the person receiving fifty of them, so do not send one.
Holds