AI news for Nov 10, 2026

Google DeepMind introduced AlphaProof Code, an agentic framework that coordinates multiple language models to formally verify software. In a project with Signal, researchers worked with human experts to turn the messaging protocol's security goals into mathematical specifications, then agents built on Gemini Carbon generated Lean proofs checked by machine. The proofs covered the compiled code that runs on devices, not just the protocol design, and the effort took about four weeks. The agents flagged roughly one percent of the codebase for human review. As a test, the team reinserted two previously fixed bugs, and the framework produced proofs that the buggy versions were insecure. DeepMind published a technical paper and is open-sourcing its verification artifacts.

Google announced at Adobe MAX that it is expanding its partnership with Adobe. Acrobat will be reachable from Google Drive and Gmail, appearing as a suggested app in both and adding an "Edit with" option in file previews. Adobe is also extending its connectors in Gemini and Gemini Enterprise with Acrobat and other creative tools, and plans to bring creative tools to AI Mode in Google Search. Businesses will be able to use Adobe's CX Enterprise Coworker agent inside Gemini Enterprise. Adobe and Google DeepMind will separately explore new editing capabilities for creative professionals, starting with an image model for Photoshop aimed at near-real-time edits. Google describes these as coming features and does not give release dates.

Google Cloud announced Gemini for healthcare, a product built to connect clinical, operational and administrative systems instead of only retrieving information from them. Google says clinicians spend close to 28 hours a week on paperwork and administrative tasks. The platform uses data connectors and specialized skills to draw on electronic health records, billing platforms, clinical guidelines and Medicare datasets, then carries out multi-step work such as synthesizing medical records and reviewing prior authorizations within set guardrails and with human oversight. It is available in preview with launch partners HCA Healthcare, Highmark Health and Northwell Health. Google directed readers to its Cloud blog for more detail.

Salesforce said its Missionforce National Security personnel recruiting offering has been designated "Awardable" through the Chief Digital and Artificial Intelligence Office's Tradewinds Solutions Marketplace, giving Department of War organizations a direct purchasing path to the tool. The company says the recruiting product is authorized at Impact Level 5 and is built on Agentforce 360 with Public Sector Solutions, Data 360, Marketing Cloud and Tableau Next. It generates recruiting campaigns from plain-language prompts, automates checks of ASVAB scores, role eligibility and clearance status, and uses analytics to flag retention risk. Government customers with a marketplace account can view the solution; contracts run through Computable Insights LLC.