korrents

On the map

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

← An outsider could have disproved the Erdős unit-distance conjecture…

17 connected korrents · 13 moments from 15 Jul 2021 to 31 Jul 2026.

Everything filed under mathematics mathematics Everything filed under AI and science AI and science Everything filed under formal proof formal proof Everything filed under LLMs LLMs Everything filed under cryptography cryptography Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: An outsider could have disproved the Erdős unit-distance conjecture with a public model, because nobody had tried spending $100,000 of compute on one question. An outsider could have disproved the Erdősunit-distance conjecture with a publicmodel, because nobody had tried spending$100,000 of compute on one question. Last stated 4 months ago 26 Jun 2026 NB Noam Brown — holds since 2026-06-26 — tap for who they are Same subject: The twin prime conjecture is certainly true, the random model gives overwhelming odds of it, and he just cannot prove it. — tap to centre the map on it The twin prime conjecture iscertainly true, the random modelgives overwhelming odds of it, andhe just cannot prove it. Last stated a year ago 14 Jun 2025 TT Terence Tao — holds since 2025-06-14 — tap for who they are Same subject: AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. — tap to centre the map on it AI learning to generate goodconjectures will never show up as abenchmark being knocked down; itwill show up as a shift in howmathematicians talk about the tools. Last stated 4 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: If the Riemann hypothesis turned out to be false, prime-based cryptography would be abandoned very quickly, because one unknown pattern implies more. — tap to centre the map on it If the Riemann hypothesis turned outto be false, prime-basedcryptography would be abandoned veryquickly, because one unknown patternimplies more. Last stated 7 months ago 20 Mar 2026 TT Terence Tao — holds since 2026-03-20 — tap for who they are Same subject: Models can prove monumental theorems and still have never written an essay worth reading. — tap to centre the map on it Models can prove monumental theoremsand still have never written anessay worth reading. Last stated 3 months ago 31 Jul 2026 PC Patrick Collison — holds since 2026-07-31 — tap for who they are Same subject: The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying. — tap to centre the map on it The month in which AI one-shotsolutions to open Erdős problemskept arriving has ended, and it wasnot for lack of people trying. Last stated 7 months ago 20 Mar 2026 TT Terence Tao — holds since 2026-03-20 — tap for who they are Same subject: Almost every Erdős problem AI has solved was one with no literature behind it, which is the median level of what these tools can do. — tap to centre the map on it Almost every Erdős problem AI hassolved was one with no literaturebehind it, which is the median levelof what these tools can do. Last stated 7 months ago 20 Mar 2026 TT Terence Tao — holds since 2026-03-20 — tap for who they are Same subject: If reasoning can be separated from facts, the frontier labs lose their advantage, because nobody needs a million-GPU cluster any more. — tap to centre the map on it If reasoning can be separated fromfacts, the frontier labs lose theiradvantage, because nobody needs amillion-GPU cluster any more. Last stated 2 years ago 19 Jun 2024 AS Aravind Srinivas — holds since 2024-06-19 — tap for who they are Same subject: A model can make an existing algorithm a hundred times faster and still cannot invent a better one, however long you give it. — tap to centre the map on it A model can make an existingalgorithm a hundred times faster andstill cannot invent a better one,however long you give it. Last stated 4 months ago 26 Jun 2026 NB Noam Brown — holds since 2026-06-26 — 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: Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics. — tap to centre the map on it Accurate computational approachesare needed to close the proteinstructural coverage gap and enablelarge-scale structuralbioinformatics. Last stated 5 years ago 15 Jul 2021 DH Demis Hassabis — holds since 2021-07-15 — tap for who they are Same subject: AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points. — tap to centre the map on it AI models can be more accurate thanphysical experiments by averagingout noise, incorporating priors fromlarge datasets, and interpolatingbetween data points. Last stated 11 months ago 23 Nov 2025 EH Elliot Hershberg — holds since 2025-11-23 — tap for who they are Same subject: 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. — tap to centre the map on it AI will not produce a bigbreakthrough in biologicalunderstanding any time soon, becausebiology has nothing like the clean,complete, high-quality data thatmade protein-structure predictionwork. Last stated 2 years ago 19 Sept 2024 DL Derek Lowe — holds since 2024-09-19 — 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: Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. — tap to centre the map on it Engineers are sceptical of formalmethods because they were burned byCASE and UML, sold as miraclesolutions and imposed on themregardless of fit. Last stated 3 months ago 29 Jul 2026 HW Hillel Wayne — holds since 2026-07-29 — 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 2015 to today — full is todaya face: someone who holds the claim — tap it for who they are

At the centre An outsider could have disproved the Erdős unit-distance conjecture with a public model, because nobody had tried spending $100,000 of compute on one question. Last stated 26 Jun 2026 · 4 months ago Holds Noam Brown Read this korrent →