korrents

On the map

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

← The month in which AI one-shot solutions to open Erdős problems kept…

17 connected korrents · 16 moments from 15 Jul 2021 to 15 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 Everything filed under AI alignment AI alignment Everything filed under LLMs LLMs Everything filed under OpenAI OpenAI Everything filed under AI and jobs AI and jobs Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: 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. The month in which AI one-shot solutionsto open Erdős problems kept arriving hasended, and it was not for lack of peopletrying. 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: AI agents have not yet produced anything genuinely new or important in mathematics. — tap to centre the map on it AI agents have not yet producedanything genuinely new or importantin mathematics. Last stated 3 months ago 26 Jul 2026 PW Peter Woit — holds since 2026-07-26 — tap for who they are Same subject: If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on. — tap to centre the map on it If nobody creates content any morebecause everyone just asks an AI,there is nothing left for AI totrain on. Last stated 2 months ago 8 Aug 2026 PL Pieter Levels — holds since 2026-08-08 — tap for who they are Same subject: The problems worth a small builder's time are the ones too small for a big AI company to be motivated to solve. — tap to centre the map on it The problems worth a small builder'stime are the ones too small for abig AI company to be motivated tosolve. Last stated 7 months ago 29 Mar 2026 CH Chip Huyen — holds since 2026-03-29 — tap for who they are Same subject: The games industry already ran the experiment everyone expects from AI, when engines became licensable, and the results were not good news. — tap to centre the map on it The games industry already ran theexperiment everyone expects from AI,when engines became licensable, andthe results were not good news. Last stated 2 months ago 26 Aug 2026 CM Casey Muratori — holds since 2026-08-26 — tap for who they are Same subject: Impressive one-shot AI coding demos are not a good way to judge AI coding ability. — tap to centre the map on it Impressive one-shot AI coding demosare not a good way to judge AIcoding ability. Last stated 9 months ago 4 Feb 2026 SH Scott Hanselman — holds since 2026-02-04 — tap for who they are Same subject: There is a continuing worry that OpenAI's fundamental approach is fatally flawed and not focused on the right things. — tap to centre the map on it There is a continuing worry thatOpenAI's fundamental approach isfatally flawed and not focused onthe right things. Last stated 2 months ago 1 Sept 2026 ZM Zvi Mowshowitz — holds since 2026-09-01 — tap for who they are Same subject: There is now broad agreement within AI safety circles that fully open AI development is undesirable. — tap to centre the map on it There is now broad agreement withinAI safety circles that fully open AIdevelopment is undesirable. Last stated a month ago 14 Sept 2026 MY Matthew Yglesias — holds since 2026-09-14 — 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: 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: 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 2015 to today — full is todaya face: someone who holds the claim — tap it for who they are

At the centre 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. Last stated 20 Mar 2026 · 7 months ago Holds Terence Tao Read this korrent →