Tap a claim on the ring to put it at the centre.
← An outsider could have disproved the Erdős unit-distance conjecture…
17 connected korrents · 10 moments on record from 19 Jun 2024 to 3 Sept 2026.
Everything filed under benchmarks
benchmarks
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under mathematics
mathematics
Everything filed under cryptography
cryptography
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: An outsider could have disproved the Erdős unit-distance conjecture with a public model, because nobody had tried spending $100,000 of compute on one question. An outsider could have disproved the Erdős unit-distance conjecture with a public model, because nobody had tried spending $100,000 of compute on one question. Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — 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: AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. — tap to centre the map on it AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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: 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: The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying. — tap to centre the map on it The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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: If reasoning can be separated from facts, the frontier labs lose their advantage, because nobody needs a million-GPU cluster any more. — tap to centre the map on it If reasoning can be separated from facts, the frontier labs lose their advantage, because nobody needs a million-GPU cluster any more. Last stated 2 years ago
19 Jun 2024
AS
Aravind Srinivas — holds since 2024-06-19 — tap for who they are
Same subject: A model can make an existing algorithm a hundred times faster and still cannot invent a better one, however long you give it. — tap to centre the map on it A model can make an existing algorithm a hundred times faster and still cannot invent a better one, however long you give it. Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number. — tap to centre the map on it A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number. Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year. — tap to centre the map on it A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year. Last stated 5 days ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. — tap to centre the map on it A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. Last stated 5 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — 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
An outsider could have disproved the Erdős unit-distance conjecture with a public model, because nobody had tried spending $100,000 of compute on one question.
Holds NB Noam BrownRead this korrent →
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
AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools.
Holds GS Grant Sanderson
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
Models can prove monumental theorems and still have never written an essay worth reading.
Holds
The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying.
Holds TT Terence Tao
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
If reasoning can be separated from facts, the frontier labs lose their advantage, because nobody needs a million-GPU cluster any more.
Holds AS Aravind Srinivas
A model can make an existing algorithm a hundred times faster and still cannot invent a better one, however long you give it.
Holds NB Noam Brown
A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number.
Holds NB Noam Brown
A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year.
Holds
A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost.
Holds TP Thuan Pham
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