Tap a claim on the ring to put it at the centre.
← Every marketing job post should ask for proof of AI use and give candidates rules for using AI.
17 connected korrents · 15 moments from 7 May 2024 to 19 Oct 2026.
Everything filed under formal proof
formal proof
Everything filed under AI alignment
AI alignment
Everything filed under self-sovereign AI
self-sovereign AI
Everything filed under AI agents
AI agents
Everything filed under hiring
hiring
Everything filed under humility
humility
Everything filed under AI and science
AI and science 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: Every marketing job post should ask for proof of AI use and give candidates rules for using AI. Every marketing job post should ask for proof of AI use and give candidates rules for using AI. Last stated 2 weeks ago
19 Oct 2026
EK
Emily Kramer — holds since 2026-10-19 — tap for who they are
Same subject: Novel mathematical claims produced by an AI must be formally verified, such as in a proof assistant, before they can be trusted as legitimate results. — tap to centre the map on it Novel mathematical claims produced by an AI must be formally verified, such as in a proof assistant, before they can be trusted as legitimate results. Last stated a month ago
18 Sept 2026
DA
Dan Abramov — holds since 2026-09-18 — tap for who they are
Same subject: Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods. — tap to centre the map on it Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods. Last stated 2 months ago
9 Sept 2026
PW
Peter Woit — holds since 2026-09-09 — tap for who they are
Same subject: Marketing generalists will overtake specialists on marketing teams. — tap to centre the map on it Marketing generalists will overtake specialists on marketing teams. Last stated 2 weeks ago
19 Oct 2026
EK
Emily Kramer — holds since 2026-10-19 — tap for who they are
Same subject: LinkedIn is becoming over 90% AI posts. — tap to centre the map on it LinkedIn is becoming over 90% AI posts. Last stated 4 weeks ago
6 Oct 2026
GO
Gergely Orosz — holds since 2026-10-06 — tap for who they are
Same subject: AI needs the same coaching, context and onboarding as a human employee. — tap to centre the map on it AI needs the same coaching, context and onboarding as a human employee. Last stated a month ago
27 Sept 2026
MG
Molly Graham — holds since 2026-09-27 — tap for who they are
Same subject: Candidates should be allowed to use AI tools in a coding interview, because that is what the work now requires. — tap to centre the map on it Candidates should be allowed to use AI tools in a coding interview, because that is what the work now requires. Last stated 3 months ago
19 Jul 2026
ES
Elizabeth Stone — holds since 2026-07-19 — tap for who they are
Same subject: Nobody can stay on top of every AI tool, so judge them by what works for your customers rather than by what is said on X. — tap to centre the map on it Nobody can stay on top of every AI tool, so judge them by what works for your customers rather than by what is said on X. Last stated 2 months ago
10 Sept 2026
TY
Tamar Yehoshua — holds since 2026-09-10 — tap for who they are
Same subject: AI errors are harder to catch in analysis of unfamiliar data than in simple writing tasks. — tap to centre the map on it AI errors are harder to catch in analysis of unfamiliar data than in simple writing tasks. Last stated a year ago
5 Sept 2025
JE
Jason Evanish — holds since 2025-09-05 — 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 will increasingly produce mathematical proofs, just as it already writes most code. — tap to centre the map on it AI will increasingly produce mathematical proofs, just as it already writes most code. Last stated 2 months ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — tap for who they are
Same subject: A company that uses an algorithm to nudge customers into behavior that isn't good for them is doing something bad. — tap to centre the map on it A company that uses an algorithm to nudge customers into behavior that isn't good for them is doing something bad. Last stated a year ago
7 Oct 2025
MM
Mr. Money Mustache — holds since 2025-10-07 — 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 feedback loop that reinforces a behavior pulls it toward whatever improves the loop's own score. — tap to centre the map on it A feedback loop that reinforces a behavior pulls it toward whatever improves the loop's own score. Last stated 2 months ago
26 Aug 2026
HK
Henrik Karlsson — holds since 2026-08-26 — tap for who they are
Same subject: A rogue deployment that gets a foothold can hitch a ride on the intelligence explosion, recruiting each new model as it comes off the presses. — tap to centre the map on it A rogue deployment that gets a foothold can hitch a ride on the intelligence explosion, recruiting each new model as it comes off the presses. Last stated 2 months ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: A slightly more capable agent swarm has a very strong incentive to set up a wholly unmonitored rogue deployment of itself. — tap to centre the map on it A slightly more capable agent swarm has a very strong incentive to set up a wholly unmonitored rogue deployment of itself. Last stated 2 months ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: If frontier agents cannot yet establish a covert, persistent rogue deployment, they very likely will be able to within six months. — tap to centre the map on it If frontier agents cannot yet establish a covert, persistent rogue deployment, they very likely will be able to within six months. Last stated 2 months ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
At the centre
Every marketing job post should ask for proof of AI use and give candidates rules for using AI.
Holds Read this korrent →
Novel mathematical claims produced by an AI must be formally verified, such as in a proof assistant, before they can be trusted as legitimate results.
Holds
Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods.
Holds
Marketing generalists will overtake specialists on marketing teams.
Holds
LinkedIn is becoming over 90% AI posts.
Holds
AI needs the same coaching, context and onboarding as a human employee.
Holds
Candidates should be allowed to use AI tools in a coding interview, because that is what the work now requires.
Holds
Nobody can stay on top of every AI tool, so judge them by what works for your customers rather than by what is said on X.
Holds
AI errors are harder to catch in analysis of unfamiliar data than in simple writing tasks.
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 will increasingly produce mathematical proofs, just as it already writes most code.
Holds
A company that uses an algorithm to nudge customers into behavior that isn't good for them is doing something bad.
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 feedback loop that reinforces a behavior pulls it toward whatever improves the loop's own score.
Holds
A rogue deployment that gets a foothold can hitch a ride on the intelligence explosion, recruiting each new model as it comes off the presses.
Holds
A slightly more capable agent swarm has a very strong incentive to set up a wholly unmonitored rogue deployment of itself.
Holds
If frontier agents cannot yet establish a covert, persistent rogue deployment, they very likely will be able to within six months.
Holds