Need to know
- Google DeepMind's AlphaProof Nexus solved nine open Erdős problems autonomously at a few hundred dollars per problem.
- Anthropic's Project Glasswing Mythos model found 10,000+ critical vulnerabilities in one month, with public release planned once safeguards mature.
- Google shipped Gemini Omni Flash, a natively multimodal model capable of generating content from any input type including video.
- xAI's Grok V9-Medium, a 1.5 trillion parameter model trained partly on Cursor data, completed training with public release in two to three weeks.
- WorkOS released auth.md, an open agent registration protocol built on OAuth standards to handle non-human identity flows.
New Releases
Google DeepMind published Gemini Omni Flash on May 25, a natively multimodal model that generates content from any input type, starting with video.
- Built on Nano Banana's foundation, Gemini Omni extends the image generation and editing capabilities that have reached millions of users into a unified any-to-any generation architecture.
- Video is the lead input modality, representing a meaningful step beyond the image-centric prior generation and positioning the model against OpenAI's Sora-class offerings in enterprise media workflows.
WorkOS released auth.md on May 25, an open protocol for agent identity registration built on existing OAuth standards rather than requiring new infrastructure.
- The core problem it solves is that every existing authentication flow assumes a human behind a browser; auth.md defines how agents register, present credentials, and delegate work without manual credential copy-paste.
- Built on OAuth, the protocol is designed to slot into existing identity stacks, which lowers the adoption barrier for enterprises already using Okta, Entra, or CyberArk.
Google DeepMind published AlphaProof Nexus on May 25, a framework that autonomously solved nine open Erdős mathematical problems at an inference cost of a few hundred dollars per problem.
- The system uses Gemini 3.1 Pro to generate formal proof steps, combining language model reasoning with symbolic verification to close problems that have been open for decades.
- Demis Hassabis explicitly said this is not AGI, framing the results as a narrow capability demonstration rather than general reasoning, a distinction that matters for enterprise buyers evaluating AI reliability claims.
Elon Musk confirmed on May 25 that xAI finished training Grok V9-Medium, a 1.5 trillion parameter model that incorporated Cursor coding data in supplementary training, with public launch in two to three weeks.
- At 1.5T parameters, Grok V9-Medium is roughly three times the scale of the current production Grok, with early evals showing meaningful gains on programming tasks specifically.
- Cursor data was used in supplementary training, a notable disclosure that raises questions about data licensing arrangements between xAI and Anysphere and whether similar arrangements are emerging across the AI training ecosystem.
Funding
Nvidia acquired Groq, the LPU inference chip startup, on May 25, completing a vertical integration play that pairs Groq's ultra-low-latency inference architecture with Nvidia's training dominance and newly launched Vera CPUs — arriving as Broadcom simultaneously co-develops custom silicon with Alphabet, OpenAI, and Arm, signaling that control of the inference stack is becoming the primary competitive moat in AI infrastructure.
Case Studies
Anthropic disclosed on May 25 that its Mythos model, deployed under the restricted Project Glasswing program, identified more than 10,000 high- and critical-severity vulnerabilities across widely used open-source systems in its first month of operation.
- Mythos operates at a scale no human team can match, scanning open-source infrastructure continuously and surfacing vulnerabilities before adversaries can exploit them, which is the core promise of AI-driven offensive security applied defensively.
- Anthropic plans to release Mythos-class models publicly but says safeguards are not yet sufficient to prevent abuse, a rare instance of a lab explicitly acknowledging the dual-use gap before shipping rather than after.
Trending on X
- Anthropic overtakes OpenAI in enterprise Ramp AI Index data showing Anthropic at 34.4% vs OpenAI at 32.3% in U.S. enterprise adoption is circulating widely, with practitioners debating whether the flip is durable or a transient effect of Claude's coding strength.
- Grok V9 trained on Cursor data Musk's disclosure that Cursor's coding corpus was used in Grok V9-Medium supplementary training is driving debate about data licensing norms and whether IDE vendors should have consent rights over model training use of usage data.
- Agent orchestration is the real bug surface Developers are pushing back on the default assumption that LLM quality is the bottleneck in broken agents, with a growing consensus that orchestration logic, tool argument handling, and state management are where production failures actually live.
- AlphaProof Nexus AGI debate Hassabis's preemptive 'this is not AGI' framing after AlphaProof Nexus solved open Erdős problems is generating friction on X, with researchers split on whether task-specific formal reasoning breakthroughs should update AGI timelines at all.
- OpenAI and Anthropic IPO capital supply Discussion is active around Tom Lee's framing that upcoming OpenAI and Anthropic IPOs will inject meaningful equity supply into markets that family offices and pensions are already positioned to absorb, with debate about whether AI valuations can hold post-liquidity.