korrents

On the map

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

← AI will not produce a big breakthrough in biological understanding any…

17 connected korrents · 12 moments on record from 28 Oct 2011 to 7 Aug 2026.

Everything filed under AI and science AI and science Everything filed under mathematics mathematics Everything filed under formal proof formal proof Everything filed under physics physics Everything filed under design design Everything filed under LLMs LLMs Cannot both be trueSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work. AI will not produce a big breakthrough inbiological understanding any time soon,because biology has nothing like theclean, complete, high-quality data thatmade protein-structure prediction work. Last stated 2 years ago 19 Sept 2024 DL Derek Lowe — holds since 2024-09-19 — tap for who they are Cannot both be true: Understanding the biological machine is about five years away, not ten. — tap to centre the map on it Understanding the biological machineis about five years away, not ten. Last stated 6 months ago 23 Mar 2026 JH Jensen Huang — holds since 2026-03-23 — tap for who they are Same subject: Biology keeps turning up whole classes of things nobody knew existed, and that is what defeats attempts to model it. — tap to centre the map on it Biology keeps turning up wholeclasses of things nobody knewexisted, and that is what defeatsattempts to model it. Last stated 2 years ago 19 Sept 2024 DL Derek Lowe — holds since 2024-09-19 — tap for who they are Same subject: Most proteins have no known function, so there is no pile of solid data for a model to learn most of cell biology from. — tap to centre the map on it Most proteins have no knownfunction, so there is no pile ofsolid data for a model to learn mostof cell biology from. Last stated 2 years ago 19 Sept 2024 DL Derek Lowe — holds since 2024-09-19 — 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: How much machine learning can help a biological problem is set by the quality of the data around that problem, not by the algorithms. — tap to centre the map on it How much machine learning can help abiological problem is set by thequality of the data around thatproblem, not by the algorithms. Last stated 2 years ago 19 Sept 2024 DL Derek Lowe — holds since 2024-09-19 — tap for who they are Same subject: It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it. — tap to centre the map on it It would be disappointing andsurprising if the next five years ofAI progress in mathematics producedno economically valuableimprovements traceable to it. Last stated 2 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: Powerful AI will compress the biological and medical progress of the next 50-100 years into 5-10 years. — tap to centre the map on it Powerful AI will compress thebiological and medical progress ofthe next 50-100 years into 5-10years. Last stated 2 years ago 1 Oct 2024 DA Dario Amodei — holds since 2024-10-01 — 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 canbeat a general one inside its owndomain, as AlphaFold did, andmaterials science and chip designare next. Last stated a month ago 30 Jul 2026 JD Jeff Dean — holds since 2026-07-30 — tap for who they are Same subject: Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning. — tap to centre the map on it Future AI, say in fifteen years,will not be built on the LLM stack;it will have to move to symboliclearning. Last stated a month ago 7 Aug 2026 FC François Chollet — holds since 2026-08-07 — 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 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 withany error rate at all becomesinsufferable, because finding theerror costs more than the paper isworth 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 proofnecessary, because human review ofall that generated code becomes thebottleneck. 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 tobecome economical, because modelsare getting good enough at writingthe proofs that humans no longerhave 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 Leancurrently takes about ten times theeffort 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 Same subject: A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. — tap to centre the map on it A far-fetched idea earns its placein physics only when you can go outand look for its observationalconsequences. Last stated 3 years ago 3 Dec 2023 LR Lisa Randall — holds since 2023-12-03 — tap for who they are Same subject: A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. — tap to centre the map on it A frontier lab should not spend itsresearchers harvesting results outof today's models; the payoff is inbuilding the next one. Last stated 2 months ago 26 Jun 2026 NB Noam Brown — holds since 2026-06-26 — tap for who they are
cannot both be truesame subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2011 to today (stretched back to the oldest claim here) — full is todaya face: someone on record holding the claim — tap it for who they are

At the centre AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work. Last stated 19 Sept 2024 · 2 years ago Holds Derek Lowe Read this korrent →