Tap a claim on the ring to put it at the centre.
← The fear that a great theorem will arrive as an incomprehensible proof…
17 connected korrents · 10 moments on record from 3 Jul 2018 to 21 Aug 2026.
Everything filed under cryptography
cryptography
Everything filed under mathematics
mathematics
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
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: 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. 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: If the Riemann hypothesis turned out to be false, prime-based cryptography would be abandoned very quickly, because one unknown pattern implies more. — tap to centre the map on it If the Riemann hypothesis turned out to be false, prime-based cryptography would be abandoned very quickly, because one unknown pattern implies more. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Models can prove monumental theorems and still have never written an essay worth reading. — tap to centre the map on it Models can prove monumental theorems and still have never written an essay worth reading. Last stated a month ago
31 Jul 2026
PC
Patrick Collison — holds since 2026-07-31 — tap for who they are
Same subject: In ten years there will be many results much closer to twin primes, perhaps not the whole thing; on the Riemann hypothesis he has no clue. — tap to centre the map on it In ten years there will be many results much closer to twin primes, perhaps not the whole thing; on the Riemann hypothesis he has no clue. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — 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: The test of a scientific model is not whether supporting evidence can be found for it, but whether it fits the totality of the evidence. — tap to centre the map on it The test of a scientific model is not whether supporting evidence can be found for it, but whether it fits the totality of the evidence. Last stated 8 years ago
3 Jul 2018
SG
Stephan Guyenet — holds since 2018-07-03 — tap for who they are
Same subject: No single person can understand a result like the Higgs boson in depth, and that is what a paper with a thousand authors actually means. — tap to centre the map on it No single person can understand a result like the Higgs boson in depth, and that is what a paper with a thousand authors actually means. Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: The twin prime conjecture is certainly true, the random model gives overwhelming odds of it, and he just cannot prove it. — tap to centre the map on it The twin prime conjecture is certainly true, the random model gives overwhelming odds of it, and he just cannot prove it. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: A sufficiently large random reversible circuit is plausibly a secure cryptographic permutation, while a large random irreversible circuit collapses to only a few possible outputs. — tap to centre the map on it A sufficiently large random reversible circuit is plausibly a secure cryptographic permutation, while a large random irreversible circuit collapses to only a few possible outputs. Last stated 2 weeks ago
21 Aug 2026
VB
Vitalik Buterin — holds since 2026-08-21 — tap for who they are
Same subject: As of 2026, local mixing has not yet sufficiently eliminated correlations between original circuit values and their obfuscated counterparts. — tap to centre the map on it As of 2026, local mixing has not yet sufficiently eliminated correlations between original circuit values and their obfuscated counterparts. Last stated 2 weeks ago
21 Aug 2026
VB
Vitalik Buterin — holds since 2026-08-21 — tap for who they are
Same subject: Building a secure obfuscation protocol is extremely difficult. — tap to centre the map on it Building a secure obfuscation protocol is extremely difficult. Last stated 2 months ago
29 Jun 2026
VB
Vitalik Buterin — holds since 2026-06-29 — 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 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 TT Terence TaoRead this korrent →
If the Riemann hypothesis turned out to be false, prime-based cryptography would be abandoned very quickly, because one unknown pattern implies more.
Holds TT Terence Tao
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds GS Grant Sanderson
Models can prove monumental theorems and still have never written an essay worth reading.
Holds
In ten years there will be many results much closer to twin primes, perhaps not the whole thing; on the Riemann hypothesis he has no clue.
Holds TT Terence Tao
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
The test of a scientific model is not whether supporting evidence can be found for it, but whether it fits the totality of the evidence.
Holds SG Stephan Guyenet
No single person can understand a result like the Higgs boson in depth, and that is what a paper with a thousand authors actually means.
Holds MN Michael Nielsen
The twin prime conjecture is certainly true, the random model gives overwhelming odds of it, and he just cannot prove it.
Holds TT Terence Tao
A sufficiently large random reversible circuit is plausibly a secure cryptographic permutation, while a large random irreversible circuit collapses to only a few possible outputs.
Holds VB Vitalik Buterin
As of 2026, local mixing has not yet sufficiently eliminated correlations between original circuit values and their obfuscated counterparts.
Holds VB Vitalik Buterin
Building a secure obfuscation protocol is extremely difficult.
Holds VB Vitalik Buterin
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