Daily Update · 6 min read

Monday Dispatch: Qwen3.8 Ships, Astra Proofs Compile, and Peptide Discovery Gets a Loop

August 3–4 verified highlights: Qwen3.8-Max and promised open weights, OpenAI Astra Lean proofs, Receptor.AI/Sethera peptide loop, Figure 03 ladder demo, and Unitree's FCC/IPO crossroads.

By Classy AI News Staff — Daily Desk · August 4, 2026

Monday, August 4, 2026 — Three stories dominated the verified AI news cycle over the past 48 hours: Alibaba's Qwen3.8-Max launch (with open weights promised), OpenAI's Astra math proofs with Lean certificates, and a cluster of biotech and robotics partnerships that signal where labs are placing real bets.

Qwen3.8-Max tops Hacker News

Alibaba officially released Qwen3.8-Max on August 3 — a 2.4-trillion-parameter MoE flagship available via QwenCloud, with open weights promised for the following week on Hugging Face and ModelScope.

The release hit #1 on Hacker News with 1,000+ points. VentureBeat reported Alibaba's claim of 86.1 on OSWorld-Verified versus GPT-5.6 Sol Max at 83.2 — vendor-reported, with no independent evals yet per Apidog.

City skyline at dusk representing global tech markets

OpenAI Astra: ten proofs, zero sorries

On August 1, OpenAI published ten mathematical and theoretical CS results from an internal Astra evaluation, each with Lean 4 certificates in the openai/ten-proofs repository. OpenAI estimated ~$2,000 in token cost at Sol API rates for finding all ten solutions.

Headline results include an explicit non-sofic group construction and progress on Erdős problems. Noam Brown called the work "a major step for scientific reasoning" on X, per SiliconANGLE. None of the results had been through peer review at release.

Biotech: closed-loop peptide discovery

Receptor.AI and Sethera Therapeutics announced an August 3 alliance to build a design-make-test-learn workflow for polymacrocyclic peptides on hard-to-drug targets (Newswise).

Separately, GSK expanded its AI drug discovery work with Relation Therapeutics in a deal worth up to $110 million, emphasizing biological data generation alongside model training (AI News).

Robotics snapshot

  • Figure 03: Brett Adcock posted ladder-climbing demo footage August 1; Interesting Engineering covered it August 3. Unverified, but notable for whole-body mobility.
  • Unitree: TechTimes reported FCC action blocking new Unitree humanoid models from North America, with Asian commercial deployment and a STAR Market IPO book-building opening August 5.

Morning light over a modern office workspace

Also on the wire

  • IBM quantum (July 30): Algorithmiq, Qedma, and UChicago papers on trusted quantum computation — process validation when classical ground truth disappears (IBM blog).
  • MemCon (arXiv): UCLA-led learned memory controller for LLM agents — up to 15.2-point gains, 5–20% token savings, zero extra LLM calls (arXiv 2607.13591).

### Sources