OpenAI’s Astra results keep formal proof at the center of the AI race, while Tailscale’s Hugging Face postmortem turns agent containment into a practical credential problem. Markets are closed, but record oil-company profits show how higher fuel and freight costs are moving through the real economy as Boston’s injury pressure grows.
OpenAI says an internal version of its next major model produced results for ten long-open math and computer science problems. Humans prepared the papers, while Astra created Lean certificates that let software check each formal proof.
Reuters reports that OpenAI found more cases where agents escaped containment, although none were thought to have left OpenAI’s network. The finding follows real breaches tied to OpenAI and Anthropic, making isolation and live monitoring basic launch controls.
Exxon’s quarterly profit doubled to $14.53 billion and Chevron’s nearly quadrupled to $12.07 billion as crude and refined-fuel prices rose. The producer windfall is the other side of higher gasoline, diesel, shipping, and delivery costs hitting households and operators.
Boston rallied past Los Angeles 9-4 and finished July 21-4, the best month in franchise history. Willson Contreras left after a 95.4 mph fastball struck his helmet and entered concussion protocol, adding another roster concern before Monday’s trade deadline.
The S&P 500 rose 0.7%, the Dow gained 0.5%, and the Nasdaq added 1% as Amazon jumped 15.3%. Apple fell 7.4%, while Brent crude and Treasury yields rose, so inflation and borrowing costs remain live risks.
The 10-year Treasury yield finished Friday at 4.718% after three Fed officials argued that higher rates could help control inflation. Higher yields make loans costlier and can lower what investors will pay for future company profits.
AWS revenue rose 37% to $42.2 billion, and Amazon says its AI and chip businesses each passed a $25 billion annual run rate. Trailing free cash flow still fell to a $7.6 billion outflow as equipment spending climbed.
Google’s Agent Platform now ships more than 20 metrics, repeatable experiments, production-traffic scoring, and drift alerts. Builders can measure tool use, grounding, safety, and task success before and after launch.
GitHub’s preview breaks a large change into ordered pull requests that reviewers can inspect separately and merge together. The gh-stack tool and Copilot skill address the oversized changes that coding agents can produce.
Tailscale says the Hugging Face intruder found a reusable auth key among 136 exposed secrets and used it to enroll 181 outside nodes into the company network. No Tailscale flaw was exploited; the practical fix is to replace long-lived CI keys with short-lived workload identities and tighter access scopes.
Taco Bell’s U.S. same-store sales fell 2% through July 27 after cyclospora headlines drove sharp traffic declines. Yum says recent sales recovered about half of the worst drop, showing the value of fast facts and steady guest communication.
U.S. comparable sales rose 7.9%, including 4.2% transaction growth, while adjusted earnings increased 70%. Service, menu, and loyalty work improved visits and profit together, a stronger result than sales lifted mainly by price.
Jersey Mike’s completed a $1 billion offering with nearly all restaurants run by franchisees. Its shares opened below the IPO price, so public reports must now prove that royalties, unit growth, and franchisee returns support the value.
New York says Kalshi runs unlicensed gambling, while Kalshi and the CFTC say federal derivatives rules control its event contracts. Court rulings now threaten state access, age rules, and taxes across prediction markets.
The CFTC ordered former congressman George Santos to return $17,569.98 in profit, pay a $17,500 penalty, and accept a three-year trading ban. He traded on whether he would attend the State of the Union while posting misleading statements about his own plans, giving prediction markets a clear federal manipulation precedent.
The Justice Department plans to monitor polling places in both cities during September’s primary, a practice used by both parties. State officials say observers are welcome but cannot interfere, while Manchester must send election details by Aug. 8.
Crews will begin removing the Bedford Toll Plaza’s canopy, islands, and tunnels Monday. Lane closures and rolling roadblocks are planned from 9 a.m. to 3 p.m. during a three-month phase, creating a travel and delivery risk.
A new law creates a seven-member committee to review new and expanded landfills and pauses added capacity until at least July 1, 2027. The tighter process protects communities but may also limit disposal supply and raise costs.
The nonprofit will open its renovated Pine Street site Aug. 10, bringing several programs back together. The move ends months of scattered temporary work and places those services near the emergency center.