Daily AI intelligence for Iru.
Sunday, May 25, 2026
  • 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.
Google Ships Gemini Omni Flash for Multimodal Generation
blog.google · May 25

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.
Bottom line
Google is collapsing the distinction between understanding and generation into a single model call, which changes the architecture calculus for any enterprise workflow that mixes media types.
WorkOS Releases Open Agent Registration Protocol on OAuth
marktechpost.com · May 25

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.
Bottom line
Non-human identity is the unsolved layer underneath every agentic deployment, and a standards-based open protocol from a credible identity tooling vendor is the kind of forcing function that can accelerate enterprise adoption of agent workflows.
Google DeepMind AlphaProof Nexus Cracks Open Math Problems
the-decoder.com · May 25

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.
Bottom line
A few hundred dollars per solved decades-old math problem reframes the cost curve for AI-assisted formal reasoning, with direct implications for software verification, compliance proofs, and any domain where correctness guarantees matter.
xAI Completes Grok V9-Medium Training on Cursor Data
sqmagazine.co.uk · May 25

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.
Bottom line
The use of a commercial coding IDE's data corpus for model training signals that xAI is competing directly for developer mindshare in the same segment Anthropic currently leads, and the licensing implications will be worth watching.

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.

Anthropic Mythos Finds 10,000 Critical Bugs in One Month
archynewsy.com · May 25

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.
Bottom line
Ten thousand critical vulnerabilities found in 30 days by a single model in restricted access is the clearest data point yet that AI vulnerability research has crossed from augmentation into autonomous operation, and the question of when Mythos goes public will define the next phase of the offense-defense balance.
  • 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.

← Back to latest