VSvarunsingla.com

← All entries

Day 134· · 4 min read

OpenAI Just Solved Ten Math Problems No One -- Had Cracked in a Decade

Industry Verticals

-- The Same Week Microsoft Put Agents in Charge of Patching Live Servers Day 128 · August 3, 2026 · 7 min read · Frontier Research & Agentic Security Yesterday this series covered a law arriving before its enforcement mechanism was ready -- the EU AI Act's transparency rules went live before the watermarking standard meant to back them up could survive a screenshot. Today the mismatch runs the other way: the technology is outrunning the question of how much real responsibility to hand it. In the same 48 hours, OpenAI let an unreleased model loose on ten mathematics problems that had sat unsolved for a decade or more, Microsoft moved autonomous security agents into public preview on live enterprise systems, and a maximum-severity flaw in a popular open-source agent platform showed exactly what goes wrong when that kind of trust isn't backed by basic authentication.

Viral app of the day

Kling AI's Motion Control 3.0 Turns One Photo Into a Dance

Upload a single photo of yourself, and Kling's new Motion Control 3.0 maps a chosen reference dance onto it -- generating a full video of that person performing the moves, with a consistent face, proportions, and clothing that moves believably. No filming, no choreography practice, no camera. That's why it's spreading: TikTok's newest dance-trend format no longer requires anyone to actually dance -- just one photo and a generation credit. Collapsing the cost of joining a trend to almost zero is the same mechanic that made Gemini's free-video trial spread two days ago (Day 127) -- a near-free way to make something everyone's feed is already full of, just pointed at a different format this time.

1) OpenAI's Astra Proves It Can Do Research Mathematics

On August 1, OpenAI researcher Noam Brown revealed the first results from Astra, the company's next major model family, buried in the third paragraph of a blog post titled "Ten advances in mathematics and theoretical computer science." Astra itself hasn't launched as a product -- this was a demonstration. The ten problems span high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, quantum complexity, lattice cryptography, and extremal combinatorics, and every one of them had seen no progress on its central result for at least a decade. The headline result is the first-ever explicit construction of a non-sofic group -- resolving a question that has stood since mathematician Mikhail Gromov introduced the idea of soficity in 1999. In plain terms: mathematicians had long asked whether every infinite group of a certain kind can always be approximated by simpler, finite pieces. Astra's answer is no, and it produced the exact structure that breaks the pattern. OpenAI didn't just assert the result -- it published a 249-page manuscript alongside machine-checkable Lean 4 proof certificates for every result on GitHub, so the proofs verify themselves rather than asking anyone to take the lab's word for it. The estimated cost to generate all ten: roughly $2,000 in tokens.

2) Microsoft Puts Red, Blue, and Green Agents on Your Network

Project Perception, Microsoft's agentic security system, enters public preview today, August 3. It runs three specialized agents in a continuous loop: Red finds vulnerabilities across an enterprise environment, Blue triages which of those flaws pose the greatest actual risk, and Green writes and deploys the software patches to fix them. That last step is the significant one -- this isn't a copilot that suggests a fix for a human to apply, it's an agent with the authority to ship the change itself. Backing it is MAI-Cyber-1-Flash, Microsoft's first in-house model built specifically for cybersecurity work. On the CyberGym benchmark it scores 96% -- 12 points ahead of Anthropic's Mythos -- while Microsoft says it runs at roughly half the cost of larger general-purpose models. It's the practical end of a shift this series has tracked all year: agents moving from tools that alert a human to systems trusted to act on their own.

3) The Vulnerability That Explains the Caution

Days before Project Perception's preview, security researchers disclosed RufRoot (CVE-2026-59726), a maximum-severity, CVSS 10.0 flaw in Ruflo, a popular open-source AI agent orchestration platform. Ruflo's MCP Bridge -- an Express.js server that handles Model Context Protocol tool calls -- exposed 233 internal tools over HTTP with no authentication at all on port 3001. A single unauthenticated POST request was enough for full remote code execution inside the container: steal LLM API keys, read private conversations, hijack running agents, and tamper with the platform's persistent AI memory. Noma Security disclosed the flaw privately on June 30; Ruflo's maintainers shipped a fix within 24 hours, independently confirmed effective. It's a useful counterweight to read next to today's other two stories: some agent systems proved reliable enough this week to verify unsolved mathematics and patch live servers, while a separate agent framework showed exactly what happens when nobody checked whether the front door was locked. The capability and the caution are the same story, from two directions.

Market signal

None of this runs for free. H100 rental pricing has climbed roughly 40% since October 2025's $1.70-an-hour low, reaching $2.35 an hour by March as AMD and Nvidia both raised list prices and on-demand capacity sold out across most providers.

Practical takeaways
If you run Ruflo or a similar self-hosted agent orchestration platform, update to 3.16.3 or later and confirm your

MCP bridge and tool-execution endpoints require authentication -- the previous default Docker Compose setup enforced none.

If you're evaluating security tooling, Microsoft's Project Perception opens in public preview today -- worth

watching how an agent that deploys patches, not just flags them, performs on real environments before you hand it write access.

Astra's ten proofs, plus machine-checkable Lean 4 certificates, are public on GitHub even though the model

itself isn't -- worth a look if you want to see what "AI does real research mathematics" actually looks like, verifiable rather than asserted.

If you try the Motion Control 3.0 dance trend, remember yesterday's rule: the EU now requires AI-generated

video of real people to carry a disclosure label -- check the export settings before you post.

VS
Varun Singla
Singapore · About · Learning in public