Tap a claim on the ring to put it at the centre.
← Some mathematical proofs contain the seeds of their own discovery.
17 connected korrents · 15 moments from 15 Jul 2021 to 27 Sept 2026. Nearly all of them are about mathematics .
Everything filed under formal proof
formal proof
Everything filed under protein structure prediction
protein structure prediction
Everything filed under recursive self-improvement
recursive self-improvement
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: Some mathematical proofs contain the seeds of their own discovery. Some mathematical proofs contain the seeds of their own discovery. Last stated 2 weeks ago
18 Sept 2026
GS
Grant Sanderson — holds since 2026-09-18 — tap for who they are
Same subject: Feeling that one could have discovered a mathematical result oneself is a better measure of deep understanding than simply verifying that it must be true. — tap to centre the map on it Feeling that one could have discovered a mathematical result oneself is a better measure of deep understanding than simply verifying that it must be true. Last stated 2 weeks ago
18 Sept 2026
GS
Grant Sanderson — holds since 2026-09-18 — tap for who they are
Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. Last stated 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: The fear that a great theorem will arrive as an incomprehensible proof is misplaced, because once the proof exists as an artifact we can analyse it. — tap to centre the map on it The fear that a great theorem will arrive as an incomprehensible proof is misplaced, because once the proof exists as an artifact we can analyse it. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: Mathematics alone can be left running: point a prover at a formal library, walk away for ten years, and there will be something there when you come back. — tap to centre the map on it Mathematics alone can be left running: point a prover at a formal library, walk away for ten years, and there will be something there when you come back. Last stated 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge. — tap to centre the map on it Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge. Last stated 3 months ago
8 Jul 2026
TT
Terence Tao — holds since 2026-07-08 — tap for who they are
Same subject: Mathematics gives practitioners corrective feedback on being wrong that moral philosophy lacks. — tap to centre the map on it Mathematics gives practitioners corrective feedback on being wrong that moral philosophy lacks. Last stated 5 years ago
27 Feb 2022
NN
Neel Nanda — holds since 2022-02-27 — tap for who they are
Same subject: The unwritten goals of mathematics must be made explicit, and examining and codifying them will leave the community stronger and more resilient. — tap to centre the map on it The unwritten goals of mathematics must be made explicit, and examining and codifying them will leave the community stronger and more resilient. Last stated 2 months ago
17 Aug 2026
TT
Terence Tao — holds since 2026-08-17 — 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: A narrow, highly accurate model can beat a general one inside its own domain, as AlphaFold did, and materials science and chip design are next. — tap to centre the map on it A narrow, highly accurate model can beat a general one inside its own domain, as AlphaFold did, and materials science and chip design are next. Last stated 2 months ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: Contemporary physical and evolutionary structure-prediction approaches fall far short of experimental accuracy without a close experimental homologue, limiting biological utility. — tap to centre the map on it Contemporary physical and evolutionary structure-prediction approaches fall far short of experimental accuracy without a close experimental homologue, limiting biological utility. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: Deep learning has effectively solved the problem of predicting a protein's 3D structure from its sequence. — tap to centre the map on it Deep learning has effectively solved the problem of predicting a protein's 3D structure from its sequence. Last stated a year ago
29 Jun 2025
EH
Elliot Hershberg — holds since 2025-06-29 — tap for who they are
Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started. — tap to centre the map on it AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started. Last stated 2 months ago
3 Aug 2026
CP
Chamath Palihapitiya — holds since 2026-08-03 — tap for who they are
Same subject: AI research will be fully automated around 2030 or 2031, and AI will beat humans at essentially any job by about 2033. — tap to centre the map on it AI research will be fully automated around 2030 or 2031, and AI will beat humans at essentially any job by about 2033. Last stated 2 months ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — tap for who they are
Same subject: AI self-improvement may not be powerful enough to overcome diminishing returns. — tap to centre the map on it AI self-improvement may not be powerful enough to overcome diminishing returns. Last stated 5 days ago
27 Sept 2026
RN
Ramez Naam — holds since 2026-09-27 — tap for who they are
At the centre
Some mathematical proofs contain the seeds of their own discovery.
Holds Read this korrent →
Feeling that one could have discovered a mathematical result oneself is a better measure of deep understanding than simply verifying that it must be true.
Holds
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds
The fear that a great theorem will arrive as an incomprehensible proof is misplaced, because once the proof exists as an artifact we can analyse it.
Holds
Mathematics alone can be left running: point a prover at a formal library, walk away for ten years, and there will be something there when you come back.
Holds
Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge.
Holds
Mathematics gives practitioners corrective feedback on being wrong that moral philosophy lacks.
Holds
The unwritten goals of mathematics must be made explicit, and examining and codifying them will leave the community stronger and more resilient.
Holds
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds
A narrow, highly accurate model can beat a general one inside its own domain, as AlphaFold did, and materials science and chip design are next.
Holds
Contemporary physical and evolutionary structure-prediction approaches fall far short of experimental accuracy without a close experimental homologue, limiting biological utility.
Holds
Deep learning has effectively solved the problem of predicting a protein's 3D structure from its sequence.
Holds
A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.
Holds
AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.
Holds
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds
AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started.
Holds
AI research will be fully automated around 2030 or 2031, and AI will beat humans at essentially any job by about 2033.
Holds
AI self-improvement may not be powerful enough to overcome diminishing returns.
Holds