Tap a claim on the ring to put it at the centre.
← Games are the natural habitat of artificial intelligence, because…
17 connected korrents · 13 moments on record from 28 Oct 2011 to 1 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under formal proof
formal proof
Everything filed under AI and science
AI and science
Everything filed under AI and jobs
AI and jobs
Everything filed under AI agents
AI agents
Everything filed under AGI
AGI
Everything filed under AI sentience
AI sentience
Everything filed under AI and human skill
AI and human skill 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: Games are the natural habitat of artificial intelligence, because following rules towards an arbitrary goal is what these systems do. Games are the natural habitat of artificial intelligence, because following rules towards an arbitrary goal is what these systems do. Last stated 2 years ago
8 May 2024
FL
Frank Lantz — holds since 2024-05-08 — tap for who they are
Same subject: A game is a machine built around uncertainty. — tap to centre the map on it A game is a machine built around uncertainty. Last stated 10 months ago
3 Nov 2025
RK
Raph Koster — holds since 2025-11-03 — tap for who they are
Same subject: AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. — tap to centre the map on it AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. Last stated a year ago
14 Jun 2025
LF
Lex Fridman — holds since 2025-06-14 — tap for who they are
Same subject: Because AI matches the general cognitive profile of humans, it will also be good at the new jobs that would ordinarily replace the ones it automates. — tap to centre the map on it Because AI matches the general cognitive profile of humans, it will also be good at the new jobs that would ordinarily replace the ones it automates. Last stated 8 months ago
1 Jan 2026
DA
Dario Amodei — holds since 2026-01-01 — tap for who they are
Same subject: Daniel Dennett's intentional stance applies to AI agents as clearly as it applies to corporations, and you cannot usefully describe what they do without the language of goals. — tap to centre the map on it Daniel Dennett's intentional stance applies to AI agents as clearly as it applies to corporations, and you cannot usefully describe what they do without the language of goals. Last stated a week ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: AI takeover is not the thing to worry about: physical constraints bound recursive self-improvement, and humans reliably act once a risk becomes immediate. — tap to centre the map on it AI takeover is not the thing to worry about: physical constraints bound recursive self-improvement, and humans reliably act once a risk becomes immediate. Last stated 2 years ago
3 Feb 2025
NL
Nathan Lambert — holds since 2025-02-03 — tap for who they are
Same subject: A game is an equation between two personalities, the world's and the protagonist's, and the friction between them is where the experience comes from. — tap to centre the map on it A game is an equation between two personalities, the world's and the protagonist's, and the friction between them is where the experience comes from. Last stated 10 months ago
31 Oct 2025
DH
Dan Houser — holds since 2025-10-31 — tap for who they are
Same subject: AI systems are not sentient, and the odds of them being sentient are vanishingly small. — tap to centre the map on it AI systems are not sentient, and the odds of them being sentient are vanishingly small. Last stated a week ago
31 Aug 2026
TC
Tyler Cowen — holds since 2026-08-31 — tap for who they are
Same subject: AI should be treated as an instrument to play rather than a tool to use, because there is no purpose to better machines if they do not also produce better humans. — tap to centre the map on it AI should be treated as an instrument to play rather than a tool to use, because there is no purpose to better machines if they do not also produce better humans. Last stated 11 months ago
20 Oct 2025
FC
Frank Chimero — holds since 2025-10-20 — tap for who they are
Same subject: AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. — tap to centre the map on it AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — 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: 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: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. — tap to centre the map on it Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. Last stated 15 years ago
28 Oct 2011
PM
Patrick McKenzie — holds since 2011-10-28 — 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
Games are the natural habitat of artificial intelligence, because following rules towards an arbitrary goal is what these systems do.
Holds FL Frank LantzRead this korrent →
A game is a machine built around uncertainty.
Holds RK Raph Koster
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Holds LF Lex Fridman
Because AI matches the general cognitive profile of humans, it will also be good at the new jobs that would ordinarily replace the ones it automates.
Holds DA Dario Amodei
Daniel Dennett's intentional stance applies to AI agents as clearly as it applies to corporations, and you cannot usefully describe what they do without the language of goals.
Holds AC Ajeya Cotra
AI takeover is not the thing to worry about: physical constraints bound recursive self-improvement, and humans reliably act once a risk becomes immediate.
Holds NL Nathan Lambert
A game is an equation between two personalities, the world's and the protagonist's, and the friction between them is where the experience comes from.
Holds DH Dan Houser
AI systems are not sentient, and the odds of them being sentient are vanishingly small.
Holds TC Tyler Cowen
AI should be treated as an instrument to play rather than a tool to use, because there is no purpose to better machines if they do not also produce better humans.
Holds FC Frank Chimero
AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder.
Holds TT Terence Tao
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
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
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
Holds GS Grant Sanderson
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds PM Patrick McKenzie
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