Tuesday 4 August 2026
OpenAI’s unreleased model Astra reportedly solved 10 long-standing open math problems, while Qwen’s 2.4T-parameter 3.8-Max sets a new bar for open-weight coding models. Apple is challenging a UK demand for iCloud backdoor access, and Aschenbrenner’s $45B fund imploded under leveraged AI bets.
🤖 Models and Launches
OpenAI’s Astra model claims breakthroughs on 10 long-standing math problems — An internal version of the unreleased model generated Lean-formalized solutions to open problems in high-dimensional geometry, coding theory, and quantum complexity.
Qwen3.8-Max: A 2.4T-parameter model for coding and cowork tasks — Alibaba’s Qwen team releases 3.8-Max with open weights arriving next week, targeting comprehensive improvements across coding, research, and long-horizon tasks.
Microsoft tests MAI Realtime, a native full-duplex voice model — An early-access listing in MAI Playground reveals a bidirectional system that can listen and speak simultaneously, with two voices noticeably more natural than current Copilot.
💰 Funding and Business
Leopold Aschenbrenner’s $45B fund unravels amid leveraged AI bets — The 24-year-old investor’s fund, heavily leveraged on AI stocks, saw Citadel swoop in to purchase the majority of its public stock portfolio at a 10%+ discount.
Larry Ellison’s all-in AI infrastructure bet faces investor scrutiny — Oracle’s massive data center deals, built on astronomical debt, are being questioned as investors doubt whether the compute-heavy strategy will deliver promised profits.
🔒 Security
Apple launches legal challenge against UK government demand for iCloud backdoor — The Home Office made a fresh request for ‘back door’ access to encrypted iCloud data belonging to British users, prompting Apple to mount a legal challenge.
SQLite critical CVEs flagged as likely LLM-generated slop — JFrog researchers found that recent ‘critical’ CVEs for SQLite contain hallmarks of AI-generated content, raising questions about vulnerability report quality.
🌐 Notable
Balaji Srinivasan’s plan for a new country shut down by Malaysian government — The tech founder’s community in Malaysia was closed over licensing issues; within hours, he signed an agreement to open a campus in Kazakhstan.
Fields Medalist Jacob Tsimerman takes a job at OpenAI for AI safety — The math superstar, who previously wrote a paper categorizing ways AI might kill everyone, is pivoting to use math to ensure the technology won’t lead to extinction.
🔥 Hacker News
Don’t be a meat proxy (673 comments) (discussion) — An essay arguing against blindly executing instructions from AI systems without understanding the task.
Qwen3.8-Max: A New Bar for Coding and Cowork (556 comments) (discussion) — HN discussion on Alibaba’s 2.4T-parameter model and its implications for the open-weight landscape.
Prevent cognitive debt by manually retyping LLM-generated code (286 comments) (discussion) — A developer argues that manually retyping AI-generated code forces comprehension and prevents accumulating ‘cognitive debt’ in codebases.
Devtools must be open source (157 comments) (discussion) — An argument that AI-driven development makes open-source devtools more critical than ever, as users can make personalized changes with agents.
Bonsai: Jane Street’s UI Library (102 comments) (discussion) — Jane Street open-sources its functional reactive UI library for OCaml.
🌍 World and Australia
Trump claims Strait of Hormuz could open ‘by tomorrow’ as Iran denies talks — The US president insisted negotiations are ‘not very complex,’ but Iran’s foreign ministry says no talks with Washington are taking place.
Kmart sells out of $89 Anko smartglasses across Australia amid privacy concerns — Experts warn of a ‘privacy nightmare’ as the low-cost Meta Ray-Ban rival sells out in stores and online.
July was driest month in southern England since records began — The Met Office says England and Wales provisionally recorded the driest July in nearly 200 years.
Most Sydney road tolls to keep rising after Transurban accused of blocking reforms — A handful of tollroads will get one-off price cuts, but WestConnex tolls will keep rising at least 4% annually.
Children using social media at younger age appear to do worse in school tests — A study found pupils who open accounts aged 11 to 12 score lower in some subjects than those who wait a few years.
Sources: TLDR (General + AI), AINews/Latent Space, The Guardian, Hacker News — 2 newsletters processed, ~35 stories distilled