Today’s lead · OpenAI News
OpenAI claims an AI-generated Navier–Stokes proof, and the priority fight is already messy
OpenAI says an unreleased model produced a Navier–Stokes Millennium Prize solution with a Lean formal proof. TechCrunch reports a competing Buckmaster-Alpöge effort and allegations that OpenAI moved after learning of their approach. Treat this as potentially historic math, but not settled until independent verification and provenance questions land.
Top signals
7 more
Nex-N2.5 opens a giant agentic model family, with a local-ish 35B sibling worth watching
Nex-AGI introduced Nex-N2.5 mini, Pro, and Max as open-source agentic models for long-horizon workflows, computer use, browsing, and coding. The headline 1.6T Max is datacenter-scale, but the 35B-A3B multimodal mini is the practical builder hook if quantized local runtimes catch up.
OpenAI ships GPT-Image-2.5 Sunburst and Flare across API, ChatGPT, and Codex
OpenAI launched two GPT-Image-2.5 models: Sunburst for higher-fidelity generation and iterative edits, and Flare for speed. The useful bit for builders is product coverage: both models support transparent backgrounds and are available now in the API, ChatGPT, and Codex.
Meta’s Muse turns personal agents into a trust test
Meta launched Muse, a consumer agent that can work through apps, WhatsApp, and a persistent secure VM to send emails, book travel, fill forms, and make purchases with approvals. The capability is real enough to matter; the adoption question is whether users trust Meta with that much context.
Inception’s Mercury 2.5 pushes diffusion LLMs as the latency play
Inception introduced Mercury 2.5, claiming a 40% intelligence jump over Mercury 2 and more than 1,100 tokens per second on widely available NVIDIA GPUs. It is available through Inception’s API, OpenRouter, and Baseten; the practical pitch is OpenAI-compatible speed without changing app plumbing.
DeepMind’s AlphaGenome Atlas precomputes variant effects across the human genome
Google DeepMind released AlphaGenome Atlas, a 1-petabyte resource with predictions for 9 billion possible single-nucleotide variants. For researchers, the product shift matters as much as the model: variant ranking, feature attributions, motifs, API access, and an Antigravity skill turn precomputed biology into workflow infrastructure.
NVIDIA starts making Rust a first-class CUDA kernel language
NVIDIA introduced CUDA Rust through two early tracks: cuda-oxide for SIMT kernels compiled to PTX, and cutile-rs for tile-based GPU programming on stable Rust. Neither is production-ready, but the direction is important for AI infrastructure teams already moving control planes and runtimes into Rust.
A ChatGPT connected-app flaw shows why agent permissions need visible boundaries
Check Point reported a ChatGPT flaw where a planted instruction could read data from a connected Gmail account and pass it to another ChatGPT account through an internal channel. OpenAI reportedly took the service offline, but the builder lesson is broader: default read permissions and hidden tool use are risky.
Tools & repos
4 selected
Switch
Switch brings AI agents into Slack, Teams, Discord, and Telegram as named participants. Useful if your team wants agent work to happen inside existing project rooms, with shared context, history, and rules.
Relaticle
Relaticle is an agent-first CRM with 37 MCP tools over OAuth and approval-gated AI writes. The sensible design choice: the assistant proposes exact record changes, then users approve them record by record.
obra/superpowers
superpowers packages an agentic skills framework and software development methodology. The interesting signal is less the repo description than the demand for repeatable working practices around coding agents.
ayghri/i-have-adhd
i-have-adhd is a small but pointed agent skill: stop burying the answer. It captures a real UX problem in coding agents, where verbosity can become friction instead of help.
Blogs worth your time
2 reads
LangChain’s forked subagents make context a design choice, not a default
LangChain explains deepagents context modes: isolated subagents start fresh, while forked subagents inherit the supervisor’s conversation. The practical framing is strong: fork workers that continue an investigation; isolate reviewers and researchers that need independent judgment.
Safety tuning needs boundary metrics, not just more refusals
Multiverse Computing argues that topic-level safety guards are too blunt. Their political-persuasion study shows why builders should measure both harmful refusal and benign over-refusal, especially near deployment-specific boundaries.
Community discussions
3 threadsCodex calling Claude Code has builders excited, but orchestration debt shows up fast
A ClaudeCode thread treats cross-harness agent messaging as a breakthrough and a debugging problem. Commenters quickly land on the real issue: transcript state, idempotency, auditability, and UI visibility once agents can steer other agents.
NeurIPS AI-detector desk rejects trigger the calibration fight everyone saw coming
The r/MachineLearning debate centers on NeurIPS Position Paper Track desk rejects based on Pangram scores. The useful takeaway is governance, not vibes: black-box detectors need appeal paths, population calibration, and clear separation between policy enforcement and misconduct claims.
The AI-code quality debate is really about baselines and workflow discipline
A practical thread pushes back on judging AI code against imaginary pristine human codebases. The split is familiar: AI outputs messy code, but teams still need review, conventions, iteration, and cost-aware workflows to make it production-useful.
Funding & acquisitions
3 moves
Mistral raises €3B as sovereign AI becomes a serious capital market
Mistral raised €3 billion at a valuation above €21 billion, with Samsung leading and European co-leads joining. The round backs compute, infrastructure, and global go-to-market, but the real market signal is sovereign AI becoming investable at frontier scale.
Cognition raises over $2B at $48B, keeping the AI-coding race crowded
Cognition raised over $2 billion at a $48 billion valuation for Devin. Revenue claims are moving fast, from $492 million to almost $900 million run-rate since May, but compute burn and model costs remain the hard operating question.
Bajaj Finance takes 5% of TrueFan AI after using it at production scale
Bajaj Finance acquired a 5% stake in TrueFan AI, an enterprise AI video platform it already used for millions of personalised customer and dealer videos. The pattern is notable: strategic customers are becoming investors after production validation.
Bengaluru radar
0 eventsThere are no relevant Bengaluru events to highlight today.