Morning brief
Sunday, August 2
1 people · 0 companies · 3 topics
The signal
- OpenAI names next model family “Astra,” reveals it solved 10 long-open math problems What happened: OpenAI published a blog post on August 1 revealing an internal version of Astra – their next model family – solved 10 open problems across mathematics, quantum complexity, and theoretical CS, each with a machine-checkable Lean 4 certificate. Problems include the first explicit non-sofic group, a disproof of Connes’s rigidity conjecture, and improved sphere-packing bounds not bettered since 1978. Altman demoed the system to senators and cabinet officials in DC this week; Astra must go through the Trump administration’s planned 30-day pre-release government review before shipping. Why it matters: First confirmed name and capability demo for what may ship as GPT-6; if the Lean-verified math holds up under community review, it sets a new formal-reasoning bar and is the clearest signal yet that OpenAI is treating scientific reasoning as the next frontier race. Confidence: Confirmed Sources: OpenAI (primary) · [@polynoamial on X (primary) · The Decoder (independent) · BitsMinds (independent)
Since last brief
- EU AI Act GPAI enforcement watchlist item closed: Chapter V powers now active as of today; European Commission can audit, fine up to 3% global revenue, and restrict GPAI providers. EU AI Act tracker (primary)
- agentic-ai TRAINS: August 1 deadline lapsed with no public White House deliverables and no announced consequence for Meta’s continued absence. Yahoo Finance (independent)
- Anthropic eval breach: METR third-party review still in progress; no report published as of this brief. Anthropic (primary)
- Kimi K3 llama.cpp PR #26185: still open and conflicted against upstream main; no merge timeline posted. PR (primary)
Tools worth touching
different-ai/openwork
- Does: free open-source desktop app (macOS/Windows/Linux) that wraps OpenCode and lets teams share skills, MCP servers, plugins, and model configs as a single importable link.
- Why now: trending today with 585 new stars (20k total); positioned as a self-hosted alternative to Claude Cowork, from the YC Spring 2026 batch.
- Try if: you run a small engineering team wanting a portable, vendor-neutral config layer across Claude Code, Codex, and Cursor.
- Skip if: you are a solo developer or are already locked into Claude Cowork’s managed collaboration features.
- Links: repo · openworklabs.com
Moves on the board
| Player | Move | Strategic implication |
|---|---|---|
| OpenAI | Revealed Astra publicly via math proof blog post; demoed to DC policymakers before any public release | Sets up Astra for first-in-class treatment under the Trump administration’s 30-day government review framework; scientific-reasoning positioning signals the next competitive axis beyond code agents |
Other
- polynoamial noted total compute cost for all 10 Astra proofs was under $2,000 at Sol API prices; Astra could not solve the Millennium Prize Problems. X (primary)
- Anthropic Fable 5 $100 promotional credit: claim deadline is today (August 2); promotional credit expires September 17. explainx.ai (independent)
Watchlist
- OpenAI ExploitGym / Kill Switch Act: House bill (Lieu-Moran, July 23) still not referred to committee; AISI cross-lab investigation pending (opened 2026-07-23)
- Kimi K3 llama.cpp KDA kernel: PR #26185 open and conflicted; unsloth fork PR #48 is the current workaround (opened 2026-07-23)
- Anthropic open-weights position: Dario Amodei position unchanged; 77-firm coalition silent (opened 2026-07-30)
- TRAINS: August 1 deadline lapsed with no public deliverables or consequence for Meta absence; watching for any follow-up enforcement action (opened 2026-07-25)
- Anthropic eval breach: METR investigation ongoing; watching for METR report and regulatory follow-up (opened 2026-07-31)
- OpenAI Astra: announced August 1, unreleased; must clear 30-day government pre-submission review; watching for release timeline and review outcome (opened 2026-08-02)