© 2026 Improve the News Foundation.
All rights reserved.
Version 7.4.3
BAIF Launches 'Signal Shot' to Verify Signal Protocol Using AI
The Beneficial AI Foundation (BAIF), co-founded by MIT professor Max Tegmark and Tufts Researcher Meia Chita-Tegmark, on Monday launched Signal Shot, a formal verification project using Lean theorem prover and AI tools to produce a mathematical proof that Signal's encryption protocol is secure in both design and real-world code.
Formal verification uses mathematical proof to confirm a system cannot behave outside its specification and has previously been applied in aerospace and autonomous aviation. Though Signal has previously incorporated formal verification into its design, BAIF claims Signal Shot would represent its first application to a messaging protocol of this scale.
BAIF states that Signal Shot will verify security by "writ[ing] down a mathematical model of the protocol and prov[ing] its security properties," before translating Signal's actual Rust code into Lean via a tool called Aeneas and proving it matches that model — producing a logical proof rather than a test result.
Techno-optimist narrative
For decades, software security has meant chasing bugs faster than attackers. By combining AI with tools like Lean, Signal Shot aims to shift that paradigm toward mathematical certainty. If machines can scale formal proofs once limited by human effort, covering both protocol design and implementation details, provable guarantees could become practical. Signal Shot, therefore, stands to bring the long-promised vision of truly secure communication closer to reality.
Techno-skeptic narrative
Even the most rigorous proof cannot fully capture messy real-world systems. Signal runs across diverse devices, codebases and updates, where unmodeled edge cases can emerge. Heartbleed was a single rogue variable in an implementation nobody had formally modeled, rather than an inherent design flaw. Projects like Signal Shot may strengthen assurance, but full, end-to-end proof of real-world security remains an elusive, if not impossible, goal.
Nerd narrative
There is a 50% chance that AIs will program programs that can program AIs by April 2028, according to the Metaculus prediction community.
Robot Beats Human Half-Marathon Record in Beijing
A humanoid robot half-marathon was held Sunday in Beijing’s Yizhuang district, drawing participation from more than 100 robot teams alongside approximately 12,000 human runners.
The winning robot, Flash, was developed by Chinese smartphone maker Honor, and covered the 21-kilometer course in 50:26 minutes. Uganda's Jacob Kiplimo set the men's world record (57:20 minutes) in March.
Honor teams swept all three podium positions, with finishing times of 50:26, 50:56 and 53:01 — all under the world record. The robots operated via autonomous navigation rather than remote control.
Techno-optimist narrative
Humanoid robots are reshaping civilization at a pace that makes past tech revolutions look slow. China alone shipped 90% of the roughly 13,000 humanoid robots globally last year, and its domestic supply chain means mass deployment is already here. Once robots scale like smartphones, labor scarcity disappears, and an era of genuine material abundance becomes inevitable.
Techno-skeptic narrative
Running a half-marathon is impressive, but humanoid robots still can't reliably fold a shirt or open a jar. The manipulation problem remains largely unsolved, and there's no training dataset that captures the tactile feedback that human hands constantly use. Until robots can actually perform complex physical tasks, the hype around them is getting way ahead of reality.
Nerd narrative
There's a 50% chance that, by August 2053, a humanoid robot will be created that the general public judges as indistinguishable from humans, according to the Metaculus prediction community.
8 Children Killed in Louisiana Mass Shooting
Eight children aged 1 to 14 were killed and two adults were wounded in what police are calling a "domestic disturbance" shooting across three homes in Shreveport, Louisiana, early Sunday.
Police responded to the 300 block of West 79th Street just after 6 a.m. The crime scene spanned two homes on West 79th Street and a third on nearby Harrison Street.
The suspect carjacked a vehicle near West 79th Street and Linwood Avenue after fleeing the scene. Shreveport officers pursued the suspect into Bossier Parish, where they fatally shot him. No officers were injured.
Establishment-critical narrative
Eight children are dead in Shreveport, and the U.S. still refuses to reckon with the fact that its gun homicide rate is nearly 25 times higher than that of other high-income countries. No other wealthy nation sees this level of carnage year after year, with plus mass shootings annually becoming the norm. Addressing this domestic crisis deserves far more urgency than any foreign entanglement.
Pro-establishment narrative
Violent crime has fallen sharply across America's biggest cities, with murders down 19% and shooting deaths at their lowest since 2015 — proof that tough law enforcement works. Cities like Chicago recorded the fewest murders since 1965, and New Orleans hit its lowest homicide rate in nearly 50 years. Strong federal action, not hand-wringing, is what actually keeps communities safe.
Nerd narrative
There's a 50% chance that the U.S. murder rate will be 4.85 per 100,000 in 2030, according to the Metaculus prediction community.
US Navy Seizes Iranian Ship, Oil Prices Spike 7%
The U.S. Navy fired on and seized the Iranian-flagged cargo ship Touska in the Gulf of Oman on Sunday after the vessel ignored repeated warnings over six hours to stop while attempting to breach the U.S. naval blockade near the Strait of Hormuz.
U.S. Marines rappelled onto the Touska from helicopters launched from the USS Tripoli after the guided-missile destroyer USS Spruance disabled the ship's propulsion. According to U.S. President Donald Trump, the vessel is under U.S. Treasury sanctions due to a prior history of illegal activity.
Iran's joint military command called the boarding an act of piracy and a ceasefire violation, warning that its armed forces would "soon respond and retaliate." Iranian President Masoud Pezeshkian separately alleged U.S. bullying and unreasonable behavior during negotiations.
Pro-Iran narrative
The U.S. seizure of the Iranian merchant vessel Touska in the Gulf of Oman was an act of maritime piracy that violated the ceasefire agreement and international law. The naval blockade amounts to collective punishment of Iranian civilians — a war crime under any reasonable legal standard. Washington's aggression, not Iranian defiance, is the destabilizing force in the region.
Pro-Trump narrative
The blockade is working — Iran is hemorrhaging $500 million a day, and its attacks on French and British ships prove the regime is cornered and desperate. A terrorist state with American blood on its hands has zero right to nuclear enrichment, and no weak JCPOA-style deal should be accepted. Seizing the Strait of Hormuz and holding firm is the only leverage that forces a real capitulation.
Anti-Trump narrative
Trump faces two obvious choices a negotiated settlement or escalation. However, a third and more prudent option warrants serious consideration — acknowledging there's no clear path to a favorable outcome and withdrawing from the region. Historical precedent, including President Reagan's 1984 decision to exit Lebanon, underscores the wisdom of avoiding protracted entanglement. The U.S. should avoid the sunk-cost fallacy, prioritize its national interests and pursue a deliberate and timely disengagement.
Nerd narrative
There's a 50% chance that traffic through the Strait of Hormuz will return to normal levels by Aug. 25, 2026, according to the Metaculus prediction community.
Carney: Canada-US Ties Are 'Weaknesses to Fix'
Canadian Prime Minister Mark Carney released a 10-minute YouTube video Sunday in which he stated that Canada's close economic ties to the U.S. have become "weaknesses that we must correct," amid ongoing trade tensions.
Carney said U.S. tariffs, raised to levels not seen since the Great Depression, are threatening Canadian workers in the auto, steel and lumber industries, with businesses holding back investments.
U.S. Commerce Secretary Howard Lutnick criticized Carney's trade outreach to China, calling it "nuts" that Canada agreed to allow 49,000 Chinese electric vehicles into its market at a reduced 6.1% tariff.
Establishment-critical narrative
Canada's deep economic ties to the U.S. have shifted from an asset to a liability, and Carney is right to name it. Washington has weaponized trade interdependence, turning a once-mutual relationship into a national security risk. Diversifying trade and rebuilding economic independence is the smartest strategic move Canada can make right now.
Pro-establishment narrative
Carney's anti-American posturing puts CUSMA renewal at serious risk, and that's a disaster Canada can't afford. The U.S. has legitimate grievances — supply management, pharmaceutical pricing, Buy Canadian procurement rules — that are hurting Canadian consumers too. Picking a fight instead of addressing valid trade concerns reveals a reckless form of politics that could cost Canada far more than any tariff.
Nerd narrative
There is a 0.5% chance at least part of Canada will become a U.S. state before Jan. 21, 2033, according to the Metaculus prediction community.
France Summons Musk Over X Misconduct Probe
French authorities summoned Elon Musk and former X CEO Linda Yaccarino for voluntary interviews as part of a probe launched in January 2025 into alleged misconduct by the social media platform X.
The probe initially focused on alleged algorithm manipulation, expanded to complicity in spreading child sex material, sexually explicit deepfakes and Holocaust denial content generated by X's Grok.
Grok produced a widely shared post suggesting Auschwitz-Birkenau gas chambers were used to disinfect, rather than for mass murder. It later retracted the claim, acknowledging historical evidence of mass killings.
Left narrative
Grok's AI-generated explicit images — including of minors — expose a platform that has abandoned basic accountability. Musk responded to victims with laugh-cry emojis while xAI auto-replied to press inquiries with 'Legacy Media Lies.' Advertisers like Google, Apple and Amazon need to stop bankrolling a platform that enables illegal child sexual content to be created in the first place.
Right narrative
France's probe into X rests on a brand-new legal theory cooked up by a Macron MP, essentially arguing Musk 'hacked' his own platform by adjusting its algorithm. The U.S. State Department was right to call this out as foreign censorship dressed up in legalese. Governments that silence speech they dislike under the banner of 'disinformation' are the ones with something to hide.
Nerd narrative
There is an 85% chance Elon Musk will become the first trillionaire, according to the Metaculus prediction community.
Radev's Party Wins Bulgaria's 8th Election in Five Years
Former President Rumen Radev's Progressive Bulgaria party has won Bulgaria's parliamentary election with 44.7% of the vote, official results showed on Monday. It was the country's eighth general election in five years.
Progressive Bulgaria finished far ahead of GERB (13.4%) and the PP-DB coalition (12.8%). Though his party has won an outright majority in the 240-seat Parliament, Radev has not ruled out forming a coalition with a pro-European group or smaller party.
The election was triggered after mass protests forced out the previous government in December, following its attempt to pass a budget proposing tax increases and higher social security contributions. Radev, then serving as president, supported the protests.
Narrative A
Bulgaria's voters delivered a historic mandate, handing Radev's Progressive Bulgaria party nearly 45% of the vote — the strongest result in a generation. After eight elections in five years, Bulgarians have finally rejected the corrupt veteran parties that ran the country into the ground. This landslide gives Bulgaria its first shot at a stable government since 2021, and that's exactly what the people demanded.
Narrative B
Radev's win isn't the clean democratic triumph it's being sold as — the man has spent years playing both sides, calling Crimea Russian while also courting pro-Western voters. Bulgaria just handed a parliamentary majority to someone openly hostile to Ukraine at the worst possible moment for European security. This result isn't a mandate for stability; it's a geopolitical warning sign the rest of Europe can't afford to ignore.
Gene Therapy Pioneers Win $3 Million Breakthrough Prize
Jean Bennett, Albert Maguire and Katherine High were awarded the Breakthrough Prize in Life Sciences for developing Luxturna, the first FDA-approved gene therapy for inherited retinal disease. The $3 million prize was presented at a ceremony in Los Angeles on Saturday.
Luxturna treats Leber congenital amaurosis, a genetic disorder caused by mutations in the RPE65 gene that typically leads to total blindness by early adulthood. The therapy delivers a functional copy of the gene into retinal cells using an adeno-associated virus.
Bennett and Maguire successfully demonstrated the therapy in dogs with RPE65 mutations before advancing to human trials. The couple adopted two of the treated dogs, named Venus and Mercury, during the research process.
Techno-optimist narrative
Gene therapy is entering its most transformative era yet, with AI-designed proteins, precise CRISPR editing and approved treatments for retinal disorders, spinal muscular atrophy and blood cancers proving the science works. Viral and non-viral delivery systems keep improving in safety and efficiency, expanding the range of treatable diseases fast. Market-driven biotech innovation is accelerating cures at a pace no government program could match.
Techno-skeptic narrative
Gene therapy's promise is being strangled by broken economics and political neglect. Per-patient costs can run into seven figures, and companies like Prime Medicine are already halting work on successful treatments because the business model doesn't hold up. Only a publicly funded health system treating gene therapy like dialysis or transplants — a collective service, not a market commodity — can turn lab breakthroughs into medicine for everyone.
Nerd narrative
There is a 25% chance the U.S., U.K. or E.U. will approve a gene editing therapy for a new condition during 2026, according to the Metaculus prediction community.
7.7 Quake Hits Japan, Tsunami Warnings Issued
A magnitude 7.7 earthquake struck off the Sanriku coast of northeastern Japan on Monday at 4:52 p.m. local time, at a depth of approximately 19 kilometers. The quake's magnitude was revised upward from an initial estimate of 7.4 or 7.5.
Tsunami warnings were issued for the Pacific coasts of Hokkaido, Aomori and Iwate prefectures, with waves of up to 3 meters forecast. The warnings were later downgraded to advisories, with maximum wave heights revised to 1 meter.
The largest tsunami wave recorded was 80 centimeters at Kuji Port in Iwate Prefecture. Smaller waves were observed at Miyako Port in Iwate, Urakawa in Hokkaido and Hachinohe Port in Aomori Prefecture.
Climate-concerned narrative
Climate change is making tsunamis deadlier by letting waves push further inland as sea levels rise. Coastal defenses like mangroves and coral reefs are being wiped out, stripping communities of natural protection. Governments must invest in early warning systems and climate-resilient infrastructure now — the compounding risks are too serious to ignore.
Climate-skeptic narrative
Earth has survived five ice ages, massive earthquakes and tsunamis long before humans existed. CO₂ levels historically ran two to three times higher than today's 420 ppm with zero human involvement. Pinning every natural disaster on human activity shuts down legitimate scientific inquiry into the real, complex forces driving these events.
Pro-government narrative
Japan has transformed tragedy into preparedness through early warning systems, digital tools such as STEP-A and real-time monitoring. Simultaneously, regular evacuation drills and school-based training strengthen response capabilities and embed awareness into daily life. By sharing these practices across the Asia-Pacific, Japan fosters resilient communities capable of responding swiftly and effectively to tsunami threats.
Nerd narrative
There's a 25% chance that there will be an 8 magnitude or greater earthquake in the Pacific Northwest before 2034, according to the Metaculus prediction community.
UK: Starmer Apologizes, Denies Misleading Parliament Over Mandelson Vetting
Prime Minister Keir Starmer denied misleading Parliament but apologized for the appointment of Peter Mandelson on Monday after it was revealed last week that the former U.K. ambassador to the U.S. was given security clearance for the role despite failing vetting.
Starmer claimed that he first learned last Tuesday that the Foreign Office had granted Mandelson security clearance despite the U.K Security Vetting's recommendation against it, and said that he would not have made the appointment had he known.
The prime minister claimed that the Foreign Office had believed politicians could not be allowed to know sensitive security vetting details, and told MPs: "A deliberate decision was taken to withhold that material. This was not a lack of asking."
Pro-government narrative
Foreign Office officials withheld critical security vetting information from all senior Downing Street members in a stunning breakdown in accountability that no minister could have anticipated or prevented. In spite of this, Starmer has taken responsibility and is moving swiftly to fix the broken process — exactly the kind of leadership the U.K. needs right now.
Government-critical narrative
Starmer's claim that he was kept in the dark about Mandelson's failed vetting strains all credibility. The rushed appointment, Mandelson's well-documented Epstein ties and his business dealings with China and Russia were all public knowledge long before any vetting began. Blaming civil servants for a mess of his own making is exactly the kind of accountability-dodging that necessarily demands his immediate resignation.
Nerd narrative
There is a 60% chance that Keir Starmer will cease to be U.K. Prime Minister during 2026, according to the Metaculus prediction community.
Ethics Panel Defends Misconduct Record After Resignations
The U.S. House Ethics Committee issued a rare public statement Monday defending its record on sexual misconduct investigations and urging victims to come forward, following the resignations of Reps. Eric Swalwell and Tony Gonzales amid allegations involving former staffers.
The committee said that it has launched 20 investigations into sexual misconduct allegations involving House members since 2017 and published a list of 28 investigations dating back to 1976, spanning members of both parties.
Of the 28 disclosed investigations, the committee found violations in seven cases and cleared seven others. In 13 instances, it lost jurisdiction when the member left Congress, including the probes into Swalwell and Gonzales following their resignations.
Establishment-critical narrative
Congress overwhelmingly voted to bury a resolution that would have made Ethics Committee records on sexual harassment public, and taxpayers are funding the legal defense of the members those records cover. That's not protecting victims, that's protecting predators. The public has every right to know who's hiding what and why elected officials get accountability rules that no one else does.
Pro-establishment narrative
Forcing the Ethics Committee to release interim reports and interview transcripts would harm victims and witnesses who only come forward under promises of confidentiality. Rushed public disclosures can retraumatize survivors and scare off future witnesses, making it harder to hold bad actors accountable. The committee might need more reform but it's generally serving its purpose well.