korrents

On the map

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

← AI money is a significant part of the story of the ongoing disruption of the fields of mathematics and physics.

17 connected korrents · 17 moments from 3 Oct 2012 to 2 Nov 2026. Nearly all of them are about physics.

Everything filed under mathematics mathematics Everything filed under AI and science AI and science Everything filed under formal proof formal proof Everything filed under quantum mechanics quantum mechanics Everything filed under AGI AGI Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: AI money is a significant part of the story of the ongoing disruption of the fields of mathematics and physics. AI money is a significant part of thestory of the ongoing disruption of thefields of mathematics and physics. Last stated yesterday 2 Nov 2026 PW Peter Woit — holds since 2026-11-02 — 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: Governments fear history more than other subjects, and many forbid young people from learning parts of it — tap to centre the map on it Governments fear history more thanother subjects, and many forbidyoung people from learning parts ofit Last stated 4 years ago 18 Oct 2022 YH Yuval Noah Harari — holds since 2022-10-18 — tap for who they are Same subject: A correct unifying theory of physics would, on first appearing publicly, look statistically likely to be wrong. — tap to centre the map on it A correct unifying theory of physicswould, on first appearing publicly,look statistically likely to bewrong. Last stated 13 years ago 1 Jun 2013 MS Marcus du Sautoy — holds since 2013-06-01 — 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 4 months ago 26 Jun 2026 NB Noam Brown — holds since 2026-06-26 — tap for who they are Same subject: A purchase is not caused by convincing someone to want your product. — tap to centre the map on it A purchase is not caused byconvincing someone to want yourproduct. Last stated 4 days ago 30 Oct 2026 RS Rob Snyder — holds since 2026-10-30 — tap for who they are Same subject: A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences. — tap to centre the map on it A theory of everything would notfinish physics: Turing and Churchlaid down computation's theory ofeverything in the 1930s and we havespent ninety years exploring theconsequences. Last stated 7 months ago 7 Apr 2026 MN Michael Nielsen — holds since 2026-04-07 — tap for who they are Same subject: AGI must be possible, because the laws of physics make computation universal. — tap to centre the map on it AGI must be possible, because thelaws of physics make computationuniversal. Last stated 14 years ago 3 Oct 2012 DD David Deutsch — holds since 2012-10-03 — tap for who they are Same subject: Declining many-worlds because it extrapolates past what we can observe is methodologically respectable and still a failure of nerve. — tap to centre the map on it Declining many-worlds because itextrapolates past what we canobserve is methodologicallyrespectable and still a failure ofnerve. Last stated 3 years ago 22 Apr 2024 SC Sean Carroll — holds since 2024-04-22 — tap for who they are Same subject: Decoherence has not yet satisfactorily solved the measurement problem and does not restore local causality. — tap to centre the map on it Decoherence has not yetsatisfactorily solved themeasurement problem and does notrestore local causality. Last stated 3 years ago 21 Sept 2023 SH Sabine Hossenfelder — holds since 2023-09-21 — tap for who they are Same subject: Export controls cannot stop China from training frontier models; what they can do is cap how much AI China gets to run. — tap to centre the map on it Export controls cannot stop Chinafrom training frontier models; whatthey can do is cap how much AI Chinagets to run. Last stated 2 years ago 3 Feb 2025 NL Nathan Lambert — holds since 2025-02-03 — 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 or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2012 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 money is a significant part of the story of the ongoing disruption of the fields of mathematics and physics. Last stated 2 Nov 2026 · yesterday Holds Peter Woit Read this korrent →