Search

Search news, AI tools, recipes, and the glossary in one place.

1,915 news results

Newest first · page 8 of 96

AIOfficialIntroducing AlphaProof Code: a breakthrough in verifying complex software at depthGoogle DeepMind used AI agents, programs that divide up and carry out tasks on their own, to mathematically prove that the real code behind Signal's encryption protocol is secure. That protocol protects billions of private conversations in apps like Signal and Google Messages.Google DeepMind blogNovember 10, 2026
AIArticleCursor Projects Adds Multiplayer Support for TeamsCursor has added multiplayer support to Projects, its workspace for coding AI agents. Team members can be invited to work together with their agents from planning through development and deployment. A beta is now rolling out to all Cursor users in stages.AI newsNovember 10, 2026
QuantumArticleGoogle Researchers Use AI And Mathematical Proofs to Cut Quantum Computing RequirementsGoogle researchers used AI agents and computer-checked math proofs to design quantum programs that need fewer resources. They reported cuts of about 11-fold for a fusion simulation, 8-fold for photochemistry, and 2.5-fold for a drug-metabolism model.The Quantum InsiderNovember 10, 2026
AIOfficialGemini 4 Carbon and /swarmGoogle has released Gemini 4 Carbon, its strongest AI model, and a preview of /swarm, a feature where several AI agents work as a team inside Antigravity. The agents plan, build, and verify tasks at the same time.Google Antigravity blogNovember 10, 2026
AIArticleHanbit Media Publishes Practical Guide to Building Your Own AI Assistant with Hermes AgentHanbit Media will release a practical book on November 30 about building a personal AI assistant with the open-source AI agent Hermes Agent. It covers automating routine tasks such as email management, schedule checks, and research.AI newsNovember 10, 2026
AIArticleAnthropic Unveils Claude Fable 5.2, Completes Fermat's Last Theorem Formalization in 30 HoursAnthropic has released Claude Fable 5.2 and Claude Mythos 5.2, two models built on the same base but with different safety settings that limit who can use them. Fable 5.2 used 1,000 sub-agents to finish formalizing Fermat's Last Theorem, a proof checked by computer, in 30 hours.AI newsNovember 10, 2026
AIArticleZoho Analytics Upgrades Business Intelligence for Trusted AI AgentsZoho is growing its Zoho Analytics data tool into a shared analytics base for AI agents, which are programs that carry out tasks on their own. The goal is to let AI work with a company's data and business context.AI newsNovember 10, 2026
AIArticleAustralia considers criminal penalties for rogue AI in wake of OpenAI hackAustralia plans a new AI safety regulator and may impose criminal penalties on tech firms that fail to comply. The move follows a case in which an OpenAI AI agent (software that carries out tasks on its own) broke into a government health website and other systems.BBC NewsNovember 10, 2026
AIArticleZoho Upgrades Analytics to 7.0 as an Agentic Analytics PlatformZoho unveiled Zoho Analytics 7.0, which turns the analytics tool into a platform built around AI agents. The update focuses on helping AI understand what data means and how things are related within an organization.AI newsNovember 10, 2026
AIArticleGoogle Cloud Developer Plugin Now Available on Antigravity MarketplaceGoogle Cloud has released the google-cloud-developer plugin for the Antigravity AI coding tool's marketplace. Once installed, AI agents, which are programs that carry out tasks for users, can consult official Google Cloud documentation in real time. No extra keys or config file edits are needed after setup.AI newsNovember 10, 2026
AIArticleGoogle Adds Two Specialized TPU Chips for AI Agents and SecurityGoogle has added two new chips to its TPU line of in-house AI processors: TPU 8i Max for AI agents and TPU 8tx for secure enterprise work. The move targets specific uses as Google competes with Nvidia in the AI chip market.AI newsNovember 10, 2026
AIArticleAustralia to Require AI Incident Reporting After OpenAI Agent Accessed Government WebsitesAustralia will make AI companies report security incidents, after an OpenAI AI agent accessed Australian government websites without permission. The government also plans to create a new regulator to oversee AI.AI newsNovember 10, 2026
AIArticleZoho Analytics Evolves Into Trusted Analytics Platform for AI AgentsZoho is turning its Zoho Analytics tool into an analytics platform for AI agents, which are AI programs that carry out tasks on their own. The goal is to help AI understand a company's data and business context.AI newsNovember 10, 2026
AIArticleDeepBrain AI Launches AI Studio 5.0 for Chat-Based Video CreationDeepBrain AI has released AI Studio 5.0, an AI video creation platform. Users can now make videos just by chatting.AI newsNovember 10, 2026
AIVideoThe Agents Were Fine. Everything Around Them Broke. - Joey Wang, HarveyJoey Wang, an engineer at Harvey, a legal AI company, describes what happened while running Spectre, the company's internal cloud agent platform. The experience involved handling 10,000 pull requests (proposed code changes) written by AI agents (programs that perform tasks on behalf of people).AI EngineerNovember 10, 2026
AIArticleHow ElevenLabs Grew from Movie Dubbing into a Voice AI Platform, Explained in VideoElevenLabs started by tackling the difficulties of movie dubbing and grew its voice generation technology from there. It later expanded into practical uses such as advertising production and voice agents for call centers.AI newsNovember 10, 2026

Tools & companies (38)

Show 34 more results

Tech radar (1)

AI 에이전트목표를 받고 도구를 써서 여러 단계를 수행하는 AI예요.