Let's Know Things Podcast Por Colin Wright capa

Let's Know Things

Let's Know Things

De: Colin Wright
Ouça grátis

A calm, non-shouty, non-polemical, weekly news analysis podcast for folks of all stripes and leanings who want to know more about what's happening in the world around them. Hosted by analytic journalist Colin Wright since 2016.

letsknowthings.substack.comColin Wright Política e Governo
Episódios
  • Hugging Face Hack

    Hugging Face Hack
    Jul 28 2026
    This week we talk about Fable, sandboxes, and the Jacobian conjecture.We also discuss counterexamples, X, and ChatGPT.Recommended Book: After the Fall by Edward AshtonTranscriptIn mathematics, a conjecture is a proposition, something like a guess by someone who knows what they’re talking about, about something believed to be true, but not yet proven in a formal sense. The goal is to then eventually come up with a formal proof for that informed guess, at which point the conjecture becomes a theorem. If even a single exception is found to the proposition, however, that exception called a counterexample, the conjecture is considered disproven, and it can then never become a theorem.The Jacobian conjecture—and this is a radical simplification of a very complex concept—but it basically says that if a formula-based map of coordinates stretches or moves without experiencing any local crushing or folding along its surface (which in more formal language would mean the Jacobian determinant is always a constant number that isn’t zero), if that’s true, that map can always be completely reversed, and that will return all the points to their original positions.This conjecture has been posited and tested since the late 19th century, and it’s generally been considered very compelling by mathematicians, many of whom have proposed proofs which were, ultimately, found to have subtle errors, keeping them from becoming theorems. No one was able to find a counterexample, either, which would definitively prove the conjecture was wrong.No one, that is, until a mathematician named Levent Alpöge (leh-VENT ahl-PUH-geh), who works as a researcher at Anthropic, decided to task the company’s currently most capable, publicly available model, Fable, to find a counterexample. He posted the counterexample—and again, this is a formal mathematical finding that disproves a conjecture, keeping it from ever becoming a theorem, something that would typically be presented in a far more formal setting, and to much fanfare—but he posted it to the social network X, saying “hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final.”Terence Tao, who’s considered by many to be the finest mathematician of his generation, reviewed the posted counterexample on his blog and said that it “appears like a massive miracle,” before going on to use ChatGPT, a competing LLM-based AI tool, to “discuss various aspects of this problem and to confirm several of the calculations.”Another mathematician named Dmitry Rybin, within days of all that happening, used ChatGPT to do something similar, disproving the Dinitz-Garg-Goemans conjecture.Both men posted the prompts that they used to make all this happen, and while Tao’s conversation with ChatGPT, checking the math on the Jacobian conjecture counterexample, was pretty mathematically dense, the latter counterexample was derived by using exactly four prompts, which are the messages typed into the text box built into these AI tools, telling the model what to do. In their totality those prompts read:“You should do a breakthroughplease continue research and find a complete unconditional counterexampleContinue the search. Have a clear strategy obtained from deeper understanding of the problem structure.it’s enough of partial results. let’s finish with a complete unconditional counterexample”What I’d like to talk about today is another new, interesting thing these top-of-the-line, frontier models are doing, that would seem to violate our sense of what a clever AI tool is capable of doing, and why this thing has some facets of the technology and cybersecurity world on high alert.—In mid-July 2026, AI company Hugging Face announced that autonomous AI agents compromised their infrastructure, hacking their system, basically. The following week, AI company OpenAI announced that, after investigating, they determined that two of their models were responsible for the attack.Here’s what happened:OpenAI was internally testing its recently released flagship model, GPT-5.6 Sol, and an even more powerful, not yet released model, which is rumored to be the next-step flagship, GPT-6, and they were checking these models’ capacity in cybersecurity using a testing benchmark called ExploitGym; so when they test these sorts of things, they don’t typically have them hack a real computer or system, they use these kinds of benchmarks which have consistent levels of difficulty, and which replicate real world systems without putting any real world systems at actual risk.Importantly, these sorts of tests also occur inside what’s called a sandbox, which is a software testing environment that cuts these systems off from external resources, including the internet.Despite those limitations, the AI hacked its way out of the testing environment, out of that sandbox, then launched what’s ...
    Exibir mais Exibir menos
    15 minutos
  • Cyclosporiasis

    Cyclosporiasis
    Jul 21 2026
    This week we talk about cyclospora, FoodNet, and Taylor Farms.We also discuss iceberg lettuce, Taco Bell, and foodborne pathogens.Recommended Book: Babel by R.F. KuangTranscriptFoodborne pathogens cause about 48 million illnesses and around 3000 deaths in the US alone each year.The Centers for Disease Control and Prevention is the main agency tasked with keeping those numbers as low as possible, and the CDC’s Foodborne Diseases Active Surveillance Network, or FoodNet, is one way that they’ve tackled this pernicious, persistent problem since 1995, in partnership with the Food and Drug Administration, the US Department of Agriculture, and 10 state health departments: those of California, Colorado, Connecticut, Georgia, Maryland, Minnesota, New Mexico, New York, Oregon, and Tennessee.Collectively, this FoodNet network covers about 16% of the US population, which seems like a small number, and in some ways it is, but that grid of laboratories and surveillance sites has typically been capable of detecting foodborne problems before they’ve scaled-up into something more significant, growing from a localized issue into a nationwide outbreak. They’re generally not capable of preventing them outright, but they can keep them relatively small and regionalized.FoodNet was created in response to a series of huge, deadly E. coli outbreaks in 1992 and 1993, and in contrast to other common methods of detection, which are usually passive and thus a little slow to respond to potential outbreak indicators, this program was built around active surveillance methods, which means proactively gathering data from medical treatment records, hospitalizations, and even individual patient outcomes (including their travel history)—anything they can pair with diagnostic samples to better understand the context surrounding the products that contain dangerous pathogens—and this was intended to help them move faster to identify issues, triangulate the source of those issues, and then implement measures to solve these issues before they harm a bunch of people, as happened during another round of E. coli outbreaks in 2012 and 2013, which sickened dozens of people across multiple states, about half of the afflicted requiring hospitalization, in addition to at least one known death.At its height, FoodNet tracked 9 pathogens, so it cast a pretty broad net, encompassing the most common and dangerous of these potential vectors, including listeria, campylobacter, shigella, vibrio, yersinia, cyclospora, cryptosporidium, e coli, and salmonella.In July of 2025, as part of a larger wave of sweeping cuts across the nation’s safety nets, tracking systems, and scientific agencies, the CDC, under the second Trump administration, downgraded FoodNet so that it was only mandatory to track salmonella and E coli—the rest were no longer on the docket, because these agencies no longer had the budget to keep tracking them.What I’d like to talk about today is a recent, and as of the day I’m recording this ongoing, outbreak of cyclospora-induced cyclosporiasis, what we know about this outbreak, and what might happen next.—Cyclospora cayetanensis is a protozoan that can infect human beings, and which is usually transmitted via contaminated fruits and vegetables. This contamination is typically the consequence of inadequate sanitation standards, as it’s not transmitted via coughing or blood or anything like that, it’s carried via human feces.So this parasite gets into a human, sporulates, which means it releases a bunch of spores within its host, and then usually between 1 and 2 weeks after entering its new host, the host develops cyclosporiasis, the disease caused by cyclospora producing all those spores. This disease is notorious for sometimes causing what’s colorfully called explosive diarrhea, alongside general watery bowel movements, intense cramping and severe gas and bloating, and that’s sometimes paired with nausea, vomiting, fever, and dehydration, due to all the frequent, intense, watery bowel-movement-related output.This is how cyclospora reproduces and spreads: it infects a host, that host has urgent diarrhea for a while, usually more than two days, sometimes as long as several weeks or even a month or more, with all the pain and discomfort and life-disrupting issues you might assume from that sort of persistent symptom, and then it sometimes finds new hosts via that watery output.Sometimes, cyclospora works its way into food systems because sanitation standards at a particular farm will be not good. Specifically, workers will sometimes not be allowed to take restroom breaks, and they’ll simply do their business right there in the field; so if they’re sick and can’t afford to take a sick day, and might be fired if they do, or if they’re asymptomatic, which some people infected with cyclospora are, they might do their business in the field, unaware that waste can then go on to spread this pathogen into the food ...
    Exibir mais Exibir menos
    17 minutos
  • NATO Summit 2026

    NATO Summit 2026
    Jul 14 2026
    This week we talk about Russia, Ukraine, and the Warsaw Pact.We also discuss Patriot interceptors, Hungary, and Article 5.Recommended Book: The Alternative by Nick RomeoTranscriptThe North Atlantic Treaty Organization, or NATO, was founded in the wake of WWII, in 1949, in order to affirm unity between non-Soviet European nations, Atlantic nations like Greenland and Iceland, and the US and Canada, over in North America.The main purpose of this unity was to establish a sort of firewall around the western perimeter of the Soviet Union, which at the time was the only global superpower other than the US, because much of the world, but especially Europe, was struggling to recover from the destruction wrought during the second world war, and the Soviets had made pretty clear that they intended to take over everything: they’d already gobbled up most of their neighbors, creating an increasingly expansive buffer zone of Soviet states around their central, Russian territory, and most of the conflicts still playing out, or threatening to play out, globally at this point were either overt or slightly concealed proxy fights between the capitalist democratic forces of the West and the authoritarian, Stalinist forces of the Eastern Soviet bloc.NATO was thus a wall of nations that said, hey, if you attack any of us, that will mean you’re attacking all of us. And that ‘all of us’ included the United States, which was the only individual force capable of standing up to the Soviets at this point, due to its massive conventional military force, and the threat posed by its huge, and still growing, nuclear weapons arsenal.The Soviet counter to NATO was called the Warsaw Pact, which formed in 1955, and these rival alliances carved up Europe during the latter half of the 20th century, until the Soviet Union collapsed in 1991.As military alliances go, NATO has been fairly successful—Article 5, the portion of the agreement that triggers if a NATO member is attacked, calling the other members to come to their aid, was only activated once, following the terrorist attacks on the US on September 11, 2001; that led to NATO involvement in the US’s attacks on Afghanistan in subsequent years, though NATO forces also periodically got involved in other regional conflicts, like the Kosovo War in 1999, and the Libyan Civil War in 2011, in both cases working with the UN to protect civilians from the actions of violent leaders or assailants. But beyond that, no one, including the Soviets, messed with NATO.NATO has since accepted sixteen new member states, and that expansion is one of the supposed rationales for Russian President Putin’s invasion of Ukraine. During Putin’s first presidency, Russia and NATO had been on pretty solid, even cooperative terms, which had some questioning the point of the treaty, since it was originally formed to counter Russian aggression. In Putin’s second presidency, though, things took an antagonistic turn, and when Russia illegally invaded and annexed a part of Ukraine, called Crimea, back in 2014, NATO ceased all cooperation with Russia.When Russian forces launched a full invasion of Ukraine in 2022, NATO suddenly seemed more important than ever, as a reinvigorated Russia, with the stated purpose of, in Putin’s words, reclaiming portions of Europe that were previously part of the extended Soviet Union, parts of the Warsaw Pact, that posed a serious threat to just about everyone, especially European nations that border Russia and Russian allies, like Belarus.What I’d like to talk about today is the 2026 meeting of NATO leaders, and the general state of affairs on the ground in Ukraine, as of mid-2026.—Leaders of NATO member nations typically meet for a summit each year, though the schedule varies a bit, depending on the needs of the moment, and whether there are any NATO-relevant crises that might nudge things forward or cause them to be delayed.The 2026 NATO summit was held in Turkey’s capitol city, Ankara, on July 7 and 8. It was the second such summit hosted by Turkey, and the 36th NATO summit, overall.This meeting was notable for several reasons, many of them directly related to Russia’s ongoing invasion of Ukraine, but also the US’s continued ambivalence, at times bordering on active antagonism, toward the treaty, under the Trump administration.Over the course of the past 4 years, Russia has continued to make threats toward the rest of Europe, implying or suggesting that it might have to act militarily against its NATO-member neighbors. During the same period, the US has criticized European NATO member states for not carrying their own weight, most of these nations not spending enough of their GDP on their military and defense infrastructure, in accordance with their treaty obligations, and most more or less relying on the US’s military (and nuclear) umbrella to threaten would-be attackers.This has long been the NATO state of affairs, but under the Trump administration, the ...
    Exibir mais Exibir menos
    15 minutos
adbl_web_anon_alc_button_suppression_t1
Ainda não há avaliações