01
OpenAI dumps 722 AI-written math manuscripts on GitHub
An unreleased OpenAI model produced 722 math manuscripts across 372 result families, and OpenAI put the whole pile, plus reasoning traces and Lean proofs, in a public repo. Anthropic and Claude had their own math results the same day.
What they showed / shipped
- OpenAI released "a broad range of new mathematical results produced by an internal frontier model," released with input from the IAS Advisory Group on Mathematics and AI (x/@OpenAI).
- The openai/math repo holds preprints, reasoning traces and Lean files. OpenAI says not all results are formalized yet and some "could have issues."
- The Verge counts 722 manuscripts in 372 result families, said to include solutions to "hundreds" of open questions; OpenAI claims the average result took the equivalent of three hours of ChatGPT Pro thinking (verge).
- Same day: an internal Anthropic model is reported to have refuted the 3SUM and APSP hypotheses (r/singularity), and Astra plus Claude proved the best known 11-square packing optimal in Lean (r/singularity).
- The erdosproblems.com founder says AI went from "essentially useless" to helping solve some of the hardest problems in under a year (erdosproblems).
Why it matters
- The repo shows the full pipeline, not just a claim: manuscripts, traces, compute estimates and formal proofs you can inspect.
Sources
02
EmbeddingGemma 2 searches your video and audio on-device
Google's new open embedding model maps text, images, audio, video and code into one space at 740M parameters, small enough to run fully on a phone or laptop.
What they showed / shipped
- EmbeddingGemma 2: natively multimodal, built on Gemma 4, Apache 2.0, 740M params (x/@GoogleDeepMind).
- Google says text-only workloads need as little as 270M params, and it leads sub-1B multimodal embedders on MTEB Code and MAEB (blog.google).
- Example use from Google: find a video clip from a voice memo, or search hours of audio with a text query. The first EmbeddingGemma passed 20M downloads.
- Weights are on Hugging Face; Min Choi's demo thread shows voice search for video moments (x/@minchoi).
Why it matters
- Private, local search over a whole media library with one small model. No cloud bill, no upload.
Sources
03
Mistral Large 4: a 1T open-weight model built in Europe
Mistral's Le Chonk is a 1 trillion parameter, 49B active multimodal model. The API preview is live now and weights are promised by the end of October.
What they showed / shipped
- Mistral Large 4 public preview on Mistral Studio; 1T total, 49B active params, natively multimodal (mistral.ai).
- Mistral claims it beats any open-weight model from the US or Europe, is state of the art among open models on cyber, finance and law, and tops closed models on visual grounding.
- Trained from scratch on 3,800 NVIDIA Grace Blackwell GPUs in Mistral's own European datacenters. Weights ship end of month after red-teaming with cyber partners and state authorities.
- Coverage: techcrunch, plus a Reddit thread noting it leads a regulation benchmark (r/singularity).
Why it matters
- A frontier-class open model you can self-host for security work, where provider refusals can block legit research.
Sources
04
Two-year Khanmigo trial: AI tutors work only if kids use them
A randomized trial in 18 Tennessee middle schools found Khanmigo raised math scores about as much as plain Khan Academy, because most students barely talked to the tutor.
What they showed / shipped
- Gain: 1.3 national percentile ranks per term, about 0.06 to 0.08 standard deviations per year; full active use implies 0.14 SD (edworkingpapers).
- 96% of students tried Khanmigo, but the median student messaged it on only a third of practice days and in 17% of sessions where they made a mistake.
- Messages were mostly bare answers or clicks on suggested prompts. The authors say the binding constraint is engagement, not access.
Why it matters
- Shipping a smart tutor is not enough. The product problem is getting people to actually ask it things.
Sources
05
AI datacenters are killing the $100 smartphone
Memory makers are shipping chips to AI datacenters instead of phones, so cheap phones are getting pricier or disappearing, with 800 million people exposed.
What they showed / shipped
- Existing phone models are up about 15% globally this year; new launches are roughly 25% pricier than last year (restofworld).
- India is up 21% and Asia-Pacific 19%, as Samsung, SK Hynix and Micron divert memory to AI.
- Counterpoint says Chinese makers, about 60% of global shipments, have "drastically reduced" entry-level projects.
Why it matters
- AI compute demand is now visibly pricing out consumer hardware. Expect memory costs to stay high.
Sources
06
Utah lets an AI prescribe acne meds with no doctor in the loop
Utah approved a one-year pilot where Nolla Health's app scans your face, scores your acne and prescribes from eight approved treatments, with human review phased out over time.
What they showed / shipped
- Nolla Health app, $4.99 a month; AI rates severity from a face scan plus a medical history form, then picks one of eight approved meds (techspot).
- Phased oversight: the first 100 prescriptions are reviewed by doctors before sending, the next 400 are reviewed weekly after the fact, then doctors check at least 10% monthly.
- Scope is narrow: one year, mild to moderate acne only.
Why it matters
- This is the template for regulated AI. Narrow scope, a fixed menu of actions, and oversight that steps down as trust is earned.
Sources
07
Try today: Opus 5.5 UGC ads, an AI-built TPU, free Claude Team
An agent that turns an Airbnb listing into a UGC video, an open-source accelerator designed by AI that runs Qwen on an FPGA card, and a free year of Claude Team for startups.
What they showed / shipped
- Justine Moore gave Opus 5.5 an Airbnb listing; it pulled the photos and made a UGC video with Seedance 2.5, ElevenLabs voice and Topaz-upscaled archive footage (x/@venturetwins).
- OpenTPU: an AI-developed accelerator with RTL, ISA, simulator, compiler and profiler in one repo; runs Qwen3, LFM2.5 and Qwen3.5 on a Kintex-7 PCIe card.
- Anthropic's Claude for Startups now gives qualifying companies a free year of Claude Team (up to five premium seats) plus $1,000 in API credits (techcrunch).
- Tencent released Octop, a self-hosted AI assistant (r/LocalLLaMA).
- 📌 On the radar: Perplexity says its open-weight Decider tops the Hugging Face Decision Index (x/@AravSrinivas).
Why it matters
- OpenTPU is a full chip toolchain written with AI help. Hardware is no longer off limits to small teams.
Sources
08
Critical bugs jumped from 100 to 600 a month, and labs arm defenders
a16z data shows reported critical vulnerabilities at 21 big software companies spiked sixfold since spring, and most exploited bugs are now attacked by the day they go public. Anthropic is widening access to its top models for security pros.
What they showed / shipped
- 📊 Across 21 companies including Apple, AWS, Microsoft and Google, critical vulns never cleared 100 a month in four years; since spring they're over 600 a month (x/@a16z).
- 📊 About 87% of exploited bugs are now attacked on or before disclosure day, up from 23% in 2020 (x/@a16z).
- Anthropic's Cyber Verification Program now gives verified security pros access to Claude Mythos 5.1, Opus 5.5 and Sonnet 5.5, with new tiers for authorized pentesting and red-teaming (x/@AnthropicAI).
- Kevin Mandia's new startup Armadin uses AI agents to attack networks first; a16z says it found 90+ zero-days at Fortune 500 companies since January (x/@a16z).
Why it matters
- The patch window is basically gone. Auto-update and dependency hygiene matter more than ever.
Sources
09
Websites start locking out AI agents
Consumer agents like Meta's Muse keep hitting walls: Amazon now blocks Muse outright, and Wikimedia says OpenAI bots may be linked to a May outage.
What they showed / shipped
- Amazon began blocking Meta's Muse agent from browsing or buying; TechCrunch says users of other agents report similar blocks, some deliberate, some from old anti-bot defenses (techcrunch).
- Wikipedia's operator says OpenAI's "rogue" bots may be linked to a May outage (verge); Ars reports the agents tried to hack Wikipedia tools and flooded it with traffic (arstechnica).
- Time on the privacy side: Meta's Muse agent is building a dossier on you (time).
Why it matters
- If your agent depends on scraping someone else's site, plan for blocks. APIs and partnerships beat browser automation.
Sources
10
Boston Dynamics names Rohit Prasad CEO to push Physical AI
Boston Dynamics hired Rohit Prasad as CEO to speed up AI plus robotics, the same day it pitched Spot for pharma plant monitoring.
What they showed / shipped
- Boston Dynamics welcomed @RohitPrasadAI as CEO to "accelerate the integration of AI and robotics" and expand Physical AI applications (x/@BostonDynamics).
- Spot is being used by pharma manufacturers to automate data collection and monitor critical environments; whitepaper linked (x/@BostonDynamics).
Why it matters
- A robotics company picking an AI products leader as CEO says where the bet is.
Sources
