AI / Machine Learning • Yesterday
On August 1, 2026, OpenAI announced that an internal version of Astra, its next major model, solved ten open problems across mathematics and theoretical computer science, publishing formal Lean proofs on GitHub. The results include a construction proving the existence of non-sofic groups, a central open question in group theory, and new sphere-packing bounds.
This isn't a benchmark score. These problems had no known answers before, and the proofs are machine-checkable. OpenAI said an internal version of Astra solved ten previously open problems and published formal Lean proofs on GitHub verifying the results, all for roughly $2,000 in compute.
Real mathematicians are taking it seriously. Fields Medal winner Timothy Gowers said he would recommend one of the model family's proofs for a top journal without hesitation. If you build, invest, or hire in research-heavy fields, this changes what an AI can do for you this quarter. Astra is unreleased, the math results are being independently examined via the published Lean proofs, and analysts note they played to areas where AI is naturally strong.
Source: The Decoder
Space / Defense • Yesterday
This week SpaceX launched NROL-95 and Starlink 17-52, while landing a $1.6B Pentagon deal for 18 more Falcon 9 flights. The company keeps cementing itself as the U.S. government's default ride to orbit.
The cadence is relentless. The Starlink Group 17-52 mission lifted off from pad 4E at Vandenberg at 8:08 p.m. PDT on July 31, carrying 24 satellites, and Spaceflight Now flagged the flight as SpaceX's 90th orbital launch of 2026. If you track defense contractors or launch competitors, the moat just got wider.
Source: KeepTrack
Consumer Tech • 4 days ago
Qualcomm confirmed it will raise prices across its chip lineup starting September 1, 2026, with CEO Cristiano Amon telling CNBC on the July 29 earnings call, "Cost went up, prices are going to go up." That flows straight to your next phone.
The cause is a supply crunch tied to AI. A massive surge in AI data center construction has consumed enormous volumes of memory chips and semiconductors, and TSMC, which makes chips for Qualcomm, Apple, and Nvidia, has become the global bottleneck. If you're due for an upgrade, buying before the fall launch wave could save you real money.
Source: 9to5Google
Robotics / Hardware • 3 days ago
On July 30, 2026, Google DeepMind launched Gemini Robotics 2: whole-body intelligence beyond tabletop teleop, advanced dexterity on hands and grippers, multi-robot teamwork, and a local path that adapts to new bodies in hours. Earlier robot models mostly handled tabletop tasks.
The models split into parts with different access. ER 2 is the piece you can touch in AI Studio today, and the VLA is what partners bolt onto Apollo, Franka, and Dexmate hardware. If you build physical products or run a warehouse, the tooling to prototype robot behavior is now in your hands.
Source: explainx.ai
Crypto / Web3 • Yesterday
The Coldcard exploit has grown far beyond first estimates, with over 1,080 bitcoin worth more than $70M drained from nearly 1,200 wallets, per Galaxy Research and engineers at Block. The flaw wasn't a crypto break.
The exploit was a firmware entropy failure, not a break of Coldcard's secure hardware or Bitcoin's cryptography. If you hold crypto in hardware wallets, check your device firmware and generate new seeds now. The Coldcard exploit drained 1,082.65 BTC from around 1,196 wallets via weak entropy in Mk3 firmware, and users must generate new seeds.
Source: CoinStats
Products / Launches • 5h ago
Google canceled its planned AI Studio mobile app for iOS and Android despite drawing more than 800,000 preorders since I/O 2026, instead folding app-creation features into the Gemini app on mobile and desktop. The web version survives.
The web-based AI Studio stays live for developers, but devs planning mobile prototyping workflows lose the standalone client and must retool around Gemini. If you built plans around that app, you need a new plan this week.
Source: Digital Trends
Robotics / Hardware • 4 days ago
Viral videos show humanoid robots flailing near adults and children during tests and public demonstrations, and the footage does not prove intent but reveals dangerous movement and weak crowd separation. One clip is hard to watch.
A humanoid robot starts swinging its arms inside an office, another appears to surge toward a festival crowd, and in the most upsetting clip a performing robot kicks a child in the stomach. If robots are coming to your workplace or events, safety rules haven't caught up. This is the clip your group chat will argue about.
Source: Fox News
Microsoft vowed to make Windows 11 run in 8GB of RAM, which matters because the company is shipping Windows PCs with 8GB of RAM.
Circle got a foothold with regulators after it received a limited-purpose trust charter from the New York Department of Financial Services for Circle New York Trust, strengthening the ground under USDC.
Arrowhead reported strong late-stage trial data, since its drug plozasiran met all primary and secondary endpoints, cut pancreatitis rates by 78% versus placebo, and reduced triglycerides by about 80% after one year.
$2,000 — the compute cost for OpenAI's Astra to solve ten open math problems. OpenAI published formal Lean proofs on GitHub verifying the results, all for roughly $2,000 in compute.
Thanks for reading. See you tomorrow.