korrents

On the map

Tap a claim on the ring to put it at the centre.

← AI companies and mathematicians should be aligned to understanding,…

17 connected korrents · 16 moments from 15 Sept 2006 to 24 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 Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: AI companies and mathematicians should be aligned to understanding, attribution, intellectual generosity and nurturing students and ideas, not merely producing results. AI companies and mathematicians should bealigned to understanding, attribution,intellectual generosity and nurturingstudents and ideas, not merely producingresults. Last stated a month ago 12 Sept 2026 LP Lior Pachter — holds since 2026-09-12 — tap for who they are Same subject: A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. — tap to centre the map on it A persistently rising dividend yieldeventually forces capitalappreciation as the market reratesthe stock. Last stated 8 months ago 3 Mar 2026 SB Sanjay Bakshi — holds since 2026-03-03 — 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 aredifferent things, and a theorem canstay an unsolved expository problemlong after it is proved. Last stated 4 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 withany error rate at all becomesinsufferable, because finding theerror costs more than the paper isworth even at ninety-nine percent. Last stated 4 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: A tossed coin is more likely to land on the same face it started on than on the opposite face. — tap to centre the map on it A tossed coin is more likely to landon the same face it started on thanon the opposite face. Last stated 4 weeks ago 24 Sept 2026 TH Tim Harford — holds since 2026-09-24 — 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: Admissions committees for economics PhD programs are perhaps excessively fond of mathematics on transcripts — tap to centre the map on it Admissions committees for economicsPhD programs are perhaps excessivelyfond of mathematics on transcripts Last stated 20 years ago 15 Sept 2006 GM Greg Mankiw — holds since 2006-09-15 — tap for who they are Same subject: Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. — tap to centre the map on it Aesthetics is truth: when somethingis beautiful it is likely to becorrect, in code as in mathematicsand physics. Last stated 7 months ago 8 Apr 2026 DH David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are Same subject: Aggressive competitive tactics around a math research breakthrough risk having a chilling effect on that field of research. — tap to centre the map on it Aggressive competitive tacticsaround a math research breakthroughrisk having a chilling effect onthat field of research. Last stated a month ago 11 Sept 2026 BT Ben Thompson — holds since 2026-09-11 — 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 notby itself a reason to expect it todo 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 platformdoes not make a biotech fast,because the thousand other steps ofdrug development are still thebottleneck. 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 regularlypredict protein structures withatomic accuracy even when no similarstructure 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 statespace, which is why formal methodscan 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 morepopular without making themmainstream, moving them from about atenth of a per cent of engineers tothree 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 proofnecessary, because human review ofall that generated code becomes thebottleneck. 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 notautomatically form a functioningorganization any more than a groupof 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 recourseagainst 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 amachine of its own, or you willspend the day fighting it for themouse cursor. Last stated 2 months ago 10 Aug 2026 PS Peter Steinberger — holds since 2026-08-10 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2006 to today (stretched back to the oldest claim here) — full is todaya face: someone who holds the claim — tap it for who they are

At the centre AI companies and mathematicians should be aligned to understanding, attribution, intellectual generosity and nurturing students and ideas, not merely producing results. Last stated 12 Sept 2026 · a month ago Holds Lior Pachter Read this korrent →