Skip to content

Product updates

New features, redesigns and business moves in AI products and apps: which got better, pricier or finally usable.

113selectedRelated topicsModel releasesIndustryAI coding

Latest selected

1–20 of 113

Nov 14

Saturday
  1. Advancing science & engineering with Antigravity’s /teamwork

    Over the past several weeks, teams across Google and academic partner institutions have tackled open problems in math, science, and complex systems engineering that had remained open for years. We are making these agentic tools available in Antigravity’s /teamwork (alongside /boost and other agents) so that researchers and developers can apply them to their own work.

Nov 13

Friday

Nov 12

Thursday
  1. Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years

    Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core code in four weeks, a process that typically takes years. AI agents powered by Gemini Carbon wrote more than six million lines of proof code and flagged only about one percent for human review. Deepmind plans to extend the method to critical infrastructure like power grids and medical devices.

Nov 11

Wednesday
  1. NVIDIA Expands Open Source Commitment With OpenShell Contribution and New AI Infrastructure

    Kubernetes, the open source system that manages how applications run across thousands of AI factories, has become the foundation for AI, and the demands on it are only growing. To help meet them, NVIDIA is deepening its commitment to open source at KubeCon + CloudNativeCon, the flagship conference for the Kubernetes and cloud-native communities.

Nov 9

Monday

Nov 6

Friday

Nov 5

Thursday

Nov 4

Wednesday

Oct 29

Thursday

Oct 22

Thursday

Oct 21

Wednesday