Astra solves 10 open math problems; formal proofs at $2,000 prompt cost
OpenAI's unreleased Astra model solves ten open math problems with Lean certificates at $2,000 cost while pending U.S. regulatory review
A Court Ruling Opened the Door. Tens of Thousands Crossed Before It Closed.
On July 31, 2026, human trafficking networks exploited a Spanish Supreme Court ruling barring summary deportation of sea arrivals, triggering a mass crossing into Ceuta that killed dozens.
Swiss National Day Fireworks Cancelled Across 13 Cantons as Drought Deepens
Basel-Stadt canceled its Rhine and Bruderholz fireworks for August 1 just 48 hours before the holiday, joining 12 cantons that had already imposed total fire bans as a fourth heatwave pushed forest fire risk to maximum levels across most of Switzerland.
Photogrammetry Is Mapping the Caves Beneath Mount Gambier
A team of Australian cave divers is using photogrammetry to map the submerged tunnels beneath Mount Gambier, revealing previously unknown passages and making them accessible to the public.
Hungary Unveils €10bn Railway Modernisation Plan
A €9.76 billion rail modernisation package runs through 2035, blending EU grants, fleet renewal, and battery-electric traction to fix decades of deferred maintenance.
144 Migrants Dead or Missing After 25 Days Adrift Off Mauritania
A boat carrying migrants from Gambia attempting to reach Spain's Canary Islands was rescued after 25 days at sea, with most of the 160 people on board found dead or missing.
300,000 People Are Trapped in Asia's Scam Compounds. The World Is Finally Counting Them.
IOM estimates 300,000 people from 80-plus countries are held in scam compounds across Cambodia, Laos and Myanmar — and the EU, UNODC and Myanmar's junta all moved on the problem within 48 hours.
White House Finalizes Voluntary AI Oversight Framework, Briefs Tech Giants Tuesday
The White House has completed a voluntary framework for reviewing advanced AI models and will present it to Anthropic, Google, Meta, and OpenAI on August 4, 2026.
Linux Gaming's Steam Share Bounces Back Above 4% After a One-Month Dip
Linux gaming's Steam share rebounded to 4.01% in July 2026 after dipping to 3.69% in June, with SteamOS Holo leading all Linux distros at over 22% of the Linux breakdown.
ModRetro M64 Brings an FPGA-Based Nintendo 64 to Market on July 28
The ModRetro M64 FPGA console launches July 28, 2026, at $229 with 4K output and a MiSTer-derived core, aiming to play original Nintendo 64 cartridges without emulation compromises.
Quantum Advantage Moves From Theory to Verification Across Three New Demonstrations
IBM and the University of Chicago announced three quantum computing demonstrations on July 30, 2026, claiming to have crossed the threshold for computational advantage — a milestone that separates verifiable classical-hard proofs from empirical benchmark comparisons.
FIFA Scraps World Cup Sell-off Plan After Confederal Boycott Threats
After threats of a tournament boycott from UEFA and opposition from other confederations, FIFA has withdrawn its proposal to take the World Cup's commercial subsidiary private.
After 54 Years, Passenger Trains Return to Drury and Paerātā
Two new stations, part of a $2.4 billion government investment, restore rail service to South Auckland for the first time since 1972.
EU AI Act Transparency Rules Take Effect August 2, 2026
New EU rules will require chatbots to disclose their artificial nature and mandate clear labels on AI-generated content including deepfakes, with enforcement beginning this summer.
A Wisconsin Retro Store Uncovered 97 Unknown NES Mario Cartridges
A Wisconsin retro store discovery uncovered 97 genuine, previously undocumented NES Super Mario Bros. / Duck Hunt cartridges, including five that received PSA 10 grades.
Snap Participation Drops More Than 4 Million Since The One Big Beautiful Bill
More than four million people lost SNAP benefits in roughly nine months, marking the steepest decline in nearly three decades and stripping food assistance from over one million children across nineteen states.
The First ALMA SETI Survey Looked Where Nobody Had Listened, and Found a Bigger Search Than Anyone Knew
A new survey using the ALMA telescope searched for alien signals in radio frequencies above the traditional 'water hole' range and found nothing, but its results show past surveys may have covered over 6 million stars, not the 288,000 previously estimated.
The Brain Trades Its Immune System in Midlife and Dismantles Its Genome Alongside It
For decades, neuroscience has operated on the premise that the human brain is seeded with its resident immune cells at birth, which then persist unchanged throughout the rest of a person's life.
FBI and EPA Warn That Hackers Are Hijacking Water Treatment Controllers in Real Time
A joint FBI/EPA advisory says attackers are breaking into water utility PLCs, locking out operators, and disrupting service across at least seven states.
Switzerland Ties Its Alpine Heat Record as Basel Hits 39.7°C During Fourth Summer Heatwave
Switzerland's highest temperature of 2026 was recorded in Basel on July 30, matching the northern Alpine record, as drought alerts reached Level 5 and August 1 fireworks were cancelled.
Commodore Spends Its First Birthday Back on New Games for the C64 Ultimate
Commodore is using the first anniversary of its reboot to launch Made For U(ltimate), an initiative to fund and label new games built specifically for the FPGA-based C64 Ultimate's modern capabilities.
Late Period and Greco-Roman Funerary Complex Found at Tell Quesna Necropolis
Egyptian archaeologists uncovered a funerary complex at Tell Quesna necropolis containing 560 faience ushabti figurines and imported pottery from Rhodes, dating to the Late and Greco-Roman periods.