Tap a claim on the ring to put it at the centre.
← Augmenting a general-purpose solver with domain-specific heuristics…
17 connected korrents · 16 moments on record from 5 Nov 2019 to 15 Sept 2026.
Everything filed under AI alignment
AI alignment
Everything filed under AGI
AGI
Everything filed under measuring intelligence
measuring intelligence
Everything filed under OpenAI
OpenAI
Everything filed under LLMs
LLMs
Everything filed under formal proof
formal proof
Everything filed under design
design
Everything filed under data centers
data centers 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: Augmenting a general-purpose solver with domain-specific heuristics commonly gives it a meaningful performance boost. Augmenting a general-purpose solver with domain-specific heuristics commonly gives it a meaningful performance boost. Last stated 11 months ago
21 Oct 2025
NE
Nelson Elhage — holds since 2025-10-21 — tap for who they are
Same subject: Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. — tap to centre the map on it Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. Last stated 2 years ago
3 Feb 2025
NL
Nathan Lambert — holds since 2025-02-03 — tap for who they are
Same subject: General-purpose computing has largely run its course; domain-specific acceleration is the way computing keeps scaling. — tap to centre the map on it General-purpose computing has largely run its course; domain-specific acceleration is the way computing keeps scaling. Last stated 5 months ago
15 Apr 2026
JH
Jensen Huang — holds since 2026-04-15 — tap for who they are
Same subject: You cannot build an AI that has only the capabilities you want, because the algorithms that solve the problems you want generalize to the ones you do not. — tap to centre the map on it You cannot build an AI that has only the capabilities you want, because the algorithms that solve the problems you want generalize to the ones you do not. Last stated 4 years ago
10 Jun 2022
EY
Eliezer Yudkowsky — holds since 2022-06-10 — tap for who they are
Same subject: Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. — tap to centre the map on it Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — 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: Traditional performance engineering methods are insufficient for the scale of modern AI datacenters and need new approaches. — tap to centre the map on it Traditional performance engineering methods are insufficient for the scale of modern AI datacenters and need new approaches. Last stated 7 months ago
6 Feb 2026
BG
Brendan Gregg — holds since 2026-02-06 — tap for who they are
Same subject: When a tool has first-class, native support for a problem domain, that is the best place to start before building a custom encoding. — tap to centre the map on it When a tool has first-class, native support for a problem domain, that is the best place to start before building a custom encoding. Last stated 11 months ago
21 Oct 2025
NE
Nelson Elhage — holds since 2025-10-21 — tap for who they are
Same subject: A control evaluation that reports under one per cent risk should be read as several per cent, because the evaluation can itself fail. — tap to centre the map on it A control evaluation that reports under one per cent risk should be read as several per cent, because the evaluation can itself fail. Last stated 2 years ago
7 May 2024
BS
Buck Shlegeris — holds since 2024-05-07 — tap for who they are
Same subject: A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean. — tap to centre the map on it A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean. Last stated 10 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: A model may have a worldview of its own, but it can never be placed above a person under any circumstance. — tap to centre the map on it A model may have a worldview of its own, but it can never be placed above a person under any circumstance. Last stated 4 months ago
3 Jun 2026
KH
Kelsey Hightower — holds since 2026-06-03 — tap for who they are
Same subject: A true artificial general intelligence cannot exist without being recognized as a moral subject. — tap to centre the map on it A true artificial general intelligence cannot exist without being recognized as a moral subject. Last stated a year ago
10 Jun 2025
SH
Samuel Hammond — holds since 2025-06-10 — tap for who they are
Same subject: A unit of AI inference needs to be defined, for example via a chain of increasingly hard problems where each consecutive pair is solvable by one model. — tap to centre the map on it A unit of AI inference needs to be defined, for example via a chain of increasingly hard problems where each consecutive pair is solvable by one model. Last stated 6 days ago
15 Sept 2026
PG
Paul Graham — holds since 2026-09-15 — tap for who they are
Same subject: Both the special-purpose-programs view and the blank-slate view of human intelligence are likely incorrect. — tap to centre the map on it Both the special-purpose-programs view and the blank-slate view of human intelligence are likely incorrect. Last stated 7 years ago
5 Nov 2019
FC
François Chollet — holds since 2019-11-05 — tap for who they are
Same subject: A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. — tap to centre the map on it A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. Last stated 3 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it. — tap to centre the map on it A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it. Last stated 3 weeks ago
3 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-03 — tap for who they are
Same subject: Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. — tap to centre the map on it Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. Last stated 3 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
At the centre
Augmenting a general-purpose solver with domain-specific heuristics commonly gives it a meaningful performance boost.
Holds Read this korrent →
Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own.
Holds
General-purpose computing has largely run its course; domain-specific acceleration is the way computing keeps scaling.
Holds
You cannot build an AI that has only the capabilities you want, because the algorithms that solve the problems you want generalize to the ones you do not.
Holds
Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough.
Holds
A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted.
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
Traditional performance engineering methods are insufficient for the scale of modern AI datacenters and need new approaches.
Holds
When a tool has first-class, native support for a problem domain, that is the best place to start before building a custom encoding.
Holds
A control evaluation that reports under one per cent risk should be read as several per cent, because the evaluation can itself fail.
Holds
A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean.
Holds
A model may have a worldview of its own, but it can never be placed above a person under any circumstance.
Holds
A true artificial general intelligence cannot exist without being recognized as a moral subject.
Holds
A unit of AI inference needs to be defined, for example via a chain of increasingly hard problems where each consecutive pair is solvable by one model.
Holds
Both the special-purpose-programs view and the blank-slate view of human intelligence are likely incorrect.
Holds
A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests.
Holds
A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it.
Holds
Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers.
Holds