Author: Olivia Hartman
Olivia Hartman is GeekBlog's general technology reporter, covering the wider world of tech beyond smartphones: AI and software, laptops and PCs, gaming, streaming, space, science, consumer gadgets, deals and the policy stories shaping the industry. A versatile journalist with a nose for what actually matters, Olivia turns breaking news and product launches into accessible, no-hype reporting for everyday readers.
Anthropic says Claude autonomously produced the first fully machine-checked proof of Fermat’s Last Theorem in Lean, a 13-million-line formalization that took 11 days.
David Friedberg calls college, home ownership and Social Security the three great lies Americans are told about money. We checked each one against the actual numbers.
Microsoft is ending unlimited Xbox Cloud Gaming. Starting in November, Game Pass tiers get fixed monthly hour caps, from 5 hours on Essential to 15 on Ultimate, with paid top-ups for anyone who runs out.
Sony’s Gamescom sale cuts Red Dead Redemption 2 to $14.99 and puts God of War, The Last of Us and Resident Evil 2 at $9.99. Everything ends September 9.
Sony collected roughly $508 million in tariff refunds after the Supreme Court struck down the IEEPA tariffs, then asked a court to throw out the lawsuits demanding that PS5 buyers see any of it. A much smaller console maker did the opposite.
Nintendo just confirmed a dedicated Zelda 40th Anniversary Direct for September 8, followed by a general Nintendo Direct on September 9. Here’s the schedule, and what to expect from each.
Tesla opened paid Cybercab rides in Austin using a two seat car with no steering wheel or pedals. Hours earlier, NHTSA opened an audit query into how Tesla certified the vehicle as road legal in the first place.
The largest school district in the United States has paused student-facing generative AI from pre-K through eighth grade for a full year, disabled the AI features in more than 38 approved programs, and given high schoolers criticism classes instead. It is the broadest moratorium any district has attempted.
Onimusha: Way of the Sword launched today after a 20 year wait, and it debuts with an 86 on Metacritic and IGN’s first-ever perfect score for the series. Here is what the Issen combat system, the story and the launch-day reviews actually deliver.
Google Labs launched Play with Putty, a real time multiplayer vibe coding tool where a whole group builds an app together from one shared prompt stream. Here is how it works and how it stacks up against Cursor, Replit and Lovable.