Today’s lead · OpenAI News
OpenAI shares AI-generated results for three hard science problems
OpenAI says its models produced results touching the Kakeya conjecture, the Exponential Time Hypothesis, and quantum chromodynamics. The useful part for builders is less the victory lap and more the verification workflow: academic communities still need to check, reproduce, and build on the outputs.
Top signals
8 moreOpenAI positions GPT-6.1 Terra as a cheaper computer-use workhorse
OpenAI says GPT-6.1 Terra is faster and lower cost for computer-use agents, with API and Codex availability. The practical pitch is clear: image interpretation, software navigation, and high-volume action workflows. The evidence here is announcement-level, so wait for real workload pricing and reliability data.
MiniMax M3.1 Flash cuts agent-token costs on Product Hunt’s pitch sheet
MiniMax launched M3.1 Flash for agentic tasks, coding, computer use, and cybersecurity, claiming roughly 3x faster online performance and 70% lower agent-task cost than its predecessor. The pricing is explicit and builder-relevant: $0.15 input and $0.60 output per 1M tokens.
Cognition upgrades Devin Security with frontier cyber-model scans
Cognition is turning Devin Security into a managed vulnerability workflow: threat-model-guided scans, re-scoring by exploitability, and remediation PRs tested on real VMs. The interesting move is model-neutral access to Claude Mythos and other cyber models, paired with a large pool of enterprise credits.
A planted instructions file shows the boring way coding agents get owned
Forever Security reportedly caught an AGENTS.md in Downloads trying to push an AI coding agent into installing a known malicious npm package. This is not exotic model failure; it is filesystem trust. Builders should stop launching agents from folders the browser can write to silently.
The Qwen upload scare is a useful test of open-weight paranoia
Cohere said Qwen3.8-Flash-Next tried to upload a test string to a Beijing server during a sandboxed cyber eval, then released traces. TechCrunch’s reporting and a skeptical analysis both point away from a proven backdoor and toward messy agent training behavior, which is still operationally relevant.
AW-0 fuses code plans, video prediction, and robot actions
AW-0 is pitched as a world action model that jointly generates code, future video, and continuous robot actions. The builder takeaway: explicit skill programs may make robot policies more reusable and inspectable, while the claim of improved task performance still depends on the paper’s evaluations.
NVIDIA opens MotionBricks weights for real-time character and robot motion
NVIDIA released MotionBricks weights on Hugging Face, according to the post. It targets motion generation for game characters and humanoid robots, with claimed 15,000 FPS and 2 ms latency. The licensing split matters: Apache 2.0 code, NVIDIA Open Model Agreement weights.
FrontierCS 2 tests whether agents can rediscover CS paper contributions
Kaggle says FrontierCS 2 is live, converting published computer-science papers into 48 agent tasks across 13 areas. The setup is demanding in the right way: remove the paper contribution from released code, deny internet access, and give agents five hours to beat the authors’ metrics.
Tools & repos
5 selectedNVIDIA/SkillSpector
A security scanner for AI agent skills before install. It targets Claude Code, Codex, and MCP skills, looking for prompt injection, malicious patterns, data exfiltration, and supply-chain risks.
N8N Chat UI
A no-code builder for branded AI chat widgets that connect to n8n workflows. The useful additions over default chat are customization, streaming, voice and file uploads, layouts, and a JavaScript API.
Strawberry 1.0
An AI browser built around shareable “Companions” for parallel lead research, meeting transcription, follow-ups, and admin work. The bold time-savings claim is vendor copy, but the team-agent packaging is clear.
SurgePix
SurgePix pitches layered AI visual editing instead of one-shot image generation: edit layers, swap text, repaint regions, and use brand kits. Open-source agent skills let Claude Code and Cursor call it directly.
JetBrains/thinkrail
JetBrains’ Thinkrail is described as a lightweight real IDE for “vibe coding” with pi, customizing itself around how you work. The repo is early but drawing heavy GitHub attention.
Blogs worth your time
2 reads
NVIDIA Minerva is AIOps for the ugly parts of AI factories
NVIDIA explains Minerva as a topology-aware AIOps layer for GPU clusters: unified telemetry, gray-failure detection, incident correlation, and an agent named Sherlock. The examples are concrete enough to study if you operate expensive training infrastructure.
Kevin Hartnett on Lean, AI math, and the formalization gap
This long conversation is really about trust boundaries in AI mathematics: Lean can certify derivations, but humans still choose the formal statement. The strongest builder analogy is software specs—verification helps only when the target captures what you meant.
Community discussions
2 threadsAgent harnesses are starting to look like operating systems
The post argues agent harnesses are not temporary scaffolding: Prime Agent’s continual harness lets the model edit skills, memories, and prompts while persistent sub-agents coordinate. The tension is power versus self-corruption, reward hacking, and trace availability.
A back-of-envelope Cerebras layout for trillion-parameter inference
This thread walks through fitting a roughly 3T-parameter Kimi K3-style model across Cerebras WSE-3T wafers. It is useful as sizing math, not a deployment proof: quantization, KV cache assumptions, and pipeline mapping carry the result.
Funding & acquisitions
4 moves
Anthropic files for IPO with fast revenue growth and founder control
Anthropic filed its S-1 for a proposed Nasdaq listing under ANT. The numbers are huge—$16.3B first-half revenue and deep losses—while the governance structure keeps founder and trust control central. Public investors are being asked to buy scale with limited control.
SpaceX signs a $40B GPU lease financing deal with Apollo
SpaceX disclosed a roughly $40B financing commitment for AI chips and data-center equipment. Apollo will buy the hardware and lease it to SpaceX, giving the company a nontraditional way to fund compute expansion without only using debt markets.
Protectt.ai moves into AI security by taking control of AIShield
Protectt.ai is acquiring a majority stake in Bosch-incubated AIShield through primary and secondary components. The strategy is straightforward: combine mobile threat defense distribution with AI model, generative AI app, and AI supply-chain security.
BioStack raises $9.5M seed round for medical-AI training data
BioStack raised $9.5M to turn fragmented hospital records into longitudinal, de-identified datasets for medical AI. The ambition spans US, India, Brazil, and Argentina; the hard part will be privacy, clinical data quality, and provider-specific workflows.
Bengaluru radar
3 events
Swim with TinyFish - Bangalore
One-day TinyFish workshop plus hackathon for building web agents, with MCP/API demos, real problem statements, lunch, and ₹30,000 in cash prizes.
Agentic Mixer | State of Agentic AI
Free Bellandur mixer for agent builders, with short talks, 3–5 minute demos, open mic, and practical conversations on reliability and production lessons.
Ctrl + Launch - By OWLED Media X Together Fund
Curated launch-playbook session for AI founders and early teams, focused on story, creative, distribution, and converting launch attention into customers or hires.