Axiom formalizes the “enormous theorem” with a 43.1-million-line Lean proof
Axiom Math says it turned the classification of finite simple groups into a computer-checked Lean proof using dozens of AI agents.
2 min readRead story
CHOOSE YOUR FOCUS
What do you create?
NEWS FEED
Yapay zekâ ajanları
TopicYapay zekâ ajanlarıClear topic
Sorted by AI Radar publication time · Times shown in Istanbul (UTC+3).Clear filters
OpenAI publishes a policy blueprint for AI-enabled cyber defense
OpenAI’s new blueprint proposes monitoring and shutdown controls for advanced AI systems, secure-by-design critical infrastructure, and independent technical assessments.
2 min readRead story
Walmart adds dedicated profiles and spending limits for AI shopping agents
Walmart announced Agent Profiles, which lets customers authorize AI agents through separate profiles, and an MCP-based Agent Gateway for developers.
2 min readRead story
Sierra and Stripe bring payments into AI agent calls
Sierra’s Stripe integration lets customers get help and complete a payment in the same AI-agent phone call, entering card details through a secure keypad flow.
1 min readRead story
IBM ALTK-Evolve gives customer-service agents learned memory without changing model weights
IBM Research’s approach distills short behavioral rules from a GPT-4.1 ReAct agent’s past attempts and appends them to the system prompt for later conversations.
2 min readRead story
Perplexity Computer moves onto institutional servers with Valarian
Perplexity and Valarian launched a deployment option that brings the Computer agent to customer-controlled clouds, on-premises servers and air-gapped networks.
1 min readRead story
Modal Sandboxes plans an Arm-based mixed fleet with NVIDIA Vera
Modal plans to add Vera CPU support for agent and reinforcement-learning workloads; its early tests report up to twice the task throughput under heavy contention.
2 min readRead story
Cloudflare Clairic turns messy inputs into typed values in one pass
Available in preview on Workers AI, Clairic extracts names, dates, numbers, estimates and forecasts from text and images as typed values.
2 min readRead story
Mercury 3 brings diffusion language models to a 1M-token context
Inception’s Mercury 3 combines parallel text generation with a 1-million-token context window, a provider-measured 1,068 tokens per second and an OpenAI-compatible API.
2 min readRead story
Claude Code Review reaches general availability for Team and Enterprise
Anthropic has moved Claude Code Review, its multi-agent GitHub pull-request reviewer, out of research preview and into general availability for Claude Team and Enterprise plans.
2 min readRead story
Meta releases weights for its 816B-parameter Muse Spark Open model
Muse Spark Open combines 816 billion total and 42 billion active parameters with a one-million-token context window, accepting text, images, audio, and video as input.
2 min readRead story
Amp takes agents beyond code with GPT‑6 Astra and voice-powered Puck
Amp is extending its OpenAI-powered agent beyond coding into product planning, documentation, page design, and voice-based agent management.
2 min readRead story
BEYOND THE HEADLINE
What changed?
What can it bring to your work?
Every story includes a concise summary, its creative workflow implications and original sources. Explore official demos and examples alongside the news.
Our editorial approach
