## Short Segments Upwind launches Response to counter AI-powered exploits that outpace the patch cycle. Gama raises €15M to mass-produce solar arrays for satellites. Terra Security introduces continuous offensive security across all layers. Italy’s Poste targets a €600M fund for data centers. SoftBank reports a $7bn loss after a major writedown. And coming up, Google DeepMind’s AI agents formally verify Signal’s encryption code. Upwind launches Response to counter AI-powered exploits that outpace the patch cycle. In a world where nearly one in four vulnerabilities is exploited on or before the day its CVE goes public, Upwind has introduced a new capability called Upwind Response. This tool is designed to stop AI-driven attacks within seconds, preventing intruders from advancing further into cloud environments. Response acts swiftly, cutting off attackers' access without waiting for human intervention, though security teams still set the rules for which threats are automatically mitigated. This development highlights the increasing need for rapid defensive measures as the timeline for exploitation shortens. By automating immediate responses, Upwind aims to close the gap between vulnerability disclosure and patch deployment, offering a proactive defense against evolving threats. Gama raises €15M to mass-produce solar arrays for power-hungry satellites. The French company Gama has secured €15 million in seed funding to transition its deployable solar array, Wing, from development to volume production. Located in Ivry-sur-Seine, just outside Paris, Gama aims to address the growing power demands of satellites, as electricity becomes a scarce resource in orbit. With the rise of direct-to-device networks, broadband constellations, and orbital data centers, the need for efficient power solutions is critical. Gama's lightweight solar arrays promise to make satellite power systems cheaper and faster to manufacture, potentially transforming the satellite industry by providing scalable energy solutions. Terra Security brings continuous, agentic offensive security to every layer. Terra Security has launched a new platform that unifies web, AI, and network testing under one agentic framework. This continuous offensive security approach uses swarms of AI agents paired with human reviewers to probe environments for vulnerabilities. By extending its platform beyond web applications to include network infrastructure, Terra Security offers a comprehensive solution for identifying and addressing security weaknesses in real-time. This development marks a shift from traditional periodic penetration testing to a more dynamic and continuous security validation process, aiming to keep pace with the rapid changes in software development and cloud infrastructure. Italy’s Poste targets a €600M co-investment fund for data centers. Poste Italiane has launched a co-investment fund aimed at raising €600 million for digital infrastructure projects, including data centers. Approved by the Bank of Italy, the fund will finance new data centers alongside other investors, starting with an initial project covering facilities with a combined capacity of 20 megawatts. This initiative is part of Poste Italiane's broader strategy to enhance its digital infrastructure capabilities, following its recent acquisition of Telecom Italia. The fund represents a significant investment in Italy's digital future, supporting the growth of data-driven services and infrastructure. SoftBank swings to a $7bn loss after writing off $3.7bn of AI power gear. SoftBank Group has reported a net loss of ¥1.12 trillion ($7.1 billion) for the July to September quarter, primarily due to a $3.7 billion writedown on power equipment for US AI data centers. The loss marks a significant downturn from a ¥2.5 trillion profit a year earlier, as the company had to adjust its procurement plans for power generation equipment. This financial setback highlights the challenges and risks associated with large-scale investments in AI infrastructure, as well as the volatility in the tech investment landscape. Despite the loss, SoftBank's revenue exceeded analysts' expectations, indicating resilience in other areas of its business. Google pushes privacy angle as Gemini-powered smartglasses debut starting at $395. Google has launched its new Gemini-powered smartglasses, emphasizing privacy as a key feature. These smartglasses, developed in collaboration with Gentle Monster and Warby Parker, are available for preorder starting at $395. With Samsung providing the computing hardware, the glasses offer real-time assistance and integrate technology into stylish frames. Google aims to address privacy concerns that have historically hindered smartglasses adoption, offering features like audio descriptions for the visually impaired. The launch represents Google's latest attempt to make smartglasses a mainstream technology, balancing functionality with user privacy. ## Feature Story Google DeepMind’s AI agents have formally verified Signal’s encryption code, marking a significant milestone in software security. On November 10, DeepMind announced that its AI agents had mathematically proved the security promises of Signal’s encryption, using a new framework called AlphaProof Code. This development is crucial as the Signal protocol underpins the security of communications on platforms like Signal app, WhatsApp, Messenger, and Google Messages. The formal verification process involved checking the open-source Signal encryption library, libsignal, down to the machine code level. This achievement not only validates the cryptographic guarantees of Signal’s protocol but also demonstrates the potential of AI in enhancing software security. Conducted as a proof-of-concept project over four weeks, the work highlights AI's capability to make formal verification more practical and efficient. Formal verification has long been considered a grand challenge in software security, and DeepMind’s success could pave the way for broader adoption of AI in verifying complex software systems. By providing independent validation of Signal’s encryption, this development reinforces trust in the security of widely used communication platforms. Looking ahead, the implications of this breakthrough extend beyond Signal, as it sets a precedent for using AI to verify other critical software systems, potentially transforming the landscape of cybersecurity. As AI continues to evolve, its role in ensuring the integrity and security of digital communications will likely expand, offering new tools and methodologies for safeguarding sensitive information. This advancement underscores the growing intersection of AI and cybersecurity, where AI not only aids in detecting and responding to threats but also in proactively securing software at its core. With AlphaProof Code, DeepMind has demonstrated a powerful application of AI that could redefine how we approach software verification and security in the future.