Tap a claim on the ring to put it at the centre.
← On P versus NP, the evidence leans towards no, and the problem is…
17 connected korrents · 16 moments from 15 Jul 2021 to 30 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI agents
AI agents
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under AI alignment
AI alignment
Everything filed under education
education
Everything filed under taste
taste
Everything filed under scaling laws
scaling laws 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: On P versus NP, the evidence leans towards no, and the problem is unusual in how many approaches have been proven not to work. On P versus NP, the evidence leans towards no, and the problem is unusual in how many approaches have been proven not to work. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: Almost no problem cannot be solved by increasing speed, trying more options, and testing additional hypotheses. — tap to centre the map on it Almost no problem cannot be solved by increasing speed, trying more options, and testing additional hypotheses. Last stated 3 weeks ago
30 Sept 2026
DH
David Heinemeier Hansson — holds since 2026-09-30 — tap for who they are
Same subject: The p(abundance) outlook is far more likely than the heavily covered p(doom) discussion and deserves more engagement. — tap to centre the map on it The p(abundance) outlook is far more likely than the heavily covered p(doom) discussion and deserves more engagement. Last stated a month ago
14 Sept 2026
DH
David Heinemeier Hansson — holds since 2026-09-14 — 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 3 months ago
22 Jul 2026
SY
Scott H. Young — no longer holds since 2026-07-22 — tap for who they are
Same subject: Coming up with a good conjecture is harder than solving one, and that taste for the right question is what separates great scientists from good ones. — tap to centre the map on it Coming up with a good conjecture is harder than solving one, and that taste for the right question is what separates great scientists from good ones. Last stated a year ago
23 Jul 2025
DH
Demis Hassabis — holds since 2025-07-23 — 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: Inference was never going to be the easy, cheap half of AI, because inference is thinking, and thinking is far harder than reading. — tap to centre the map on it Inference was never going to be the easy, cheap half of AI, because inference is thinking, and thinking is far harder than reading. Last stated 7 months ago
23 Mar 2026
JH
Jensen Huang — holds since 2026-03-23 — 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 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: It is probably still too early in understanding what works for anyone to simply build the right answer; everyone is exploring together. — tap to centre the map on it It is probably still too early in understanding what works for anyone to simply build the right answer; everyone is exploring together. Last stated a month ago
10 Sept 2026
AV
Ami Vora — holds since 2026-09-10 — tap for who they are
Same subject: A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. — tap to centre the map on it A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. Last stated 2 years ago
13 May 2024
DL
Derek Lowe — holds since 2024-05-13 — tap for who they are
Same subject: A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. — tap to centre the map on it A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. Last stated 2 years ago
17 Sept 2024
AT
Alex Telford — holds since 2024-09-17 — tap for who they are
Same subject: A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. — tap to centre the map on it A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — 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 6 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 3 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 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. — tap to centre the map on it A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. Last stated 5 months ago
21 May 2026
RK
Rohit Krishnan — holds since 2026-05-21 — tap for who they are
Same subject: A company cannot be led by machines, because nobody would have recourse against them. — tap to centre the map on it A company cannot be led by machines, because nobody would have recourse against them. Last stated a month ago
15 Sept 2026
TL
Tobias Lütke — holds since 2026-09-15 — tap for who they are
Same subject: A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. — tap to centre the map on it A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. Last stated 2 months ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
At the centre
On P versus NP, the evidence leans towards no, and the problem is unusual in how many approaches have been proven not to work.
Holds Read this korrent →
Almost no problem cannot be solved by increasing speed, trying more options, and testing additional hypotheses.
Holds
The p(abundance) outlook is far more likely than the heavily covered p(doom) discussion and deserves more engagement.
Holds
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
Coming up with a good conjecture is harder than solving one, and that taste for the right question is what separates great scientists from good ones.
Holds
The twin prime conjecture is certainly true, the random model gives overwhelming odds of it, and he just cannot prove it.
Holds
Inference was never going to be the easy, cheap half of AI, because inference is thinking, and thinking is far harder than reading.
Holds
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
It is probably still too early in understanding what works for anyone to simply build the right answer; everyone is exploring together.
Holds
A compound's AI origin story is not by itself a reason to expect it to do better in the clinic.
Holds
A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck.
Holds
A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known.
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
A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does.
Holds
A company cannot be led by machines, because nobody would have recourse against them.
Holds
A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor.
Holds