Pulse

Axiom Math, a startup valued at $1.6 billion, is developing AI agents to ensure mathematical rigor and prevent the proliferation of unverified AI-generated proofs. The company has formally verified the Stacks Project, a vast collection of mathematical knowledge, translating its approximately 7,654 pages into 16 million lines of computer-checked code using the Lean programming language. This effort aims to create a reliable foundation for AI agents to use in software development and scientific research, addressing a significant gap in formalized mathematics, particularly in algebraic geometry. AI

OpenAI has launched GPT-6 Cyber, a new AI model specifically designed for cybersecurity tasks, aiming to assist professionals in identifying and addressing vulnerabilities. Due to the potential for misuse, access to GPT-6 Cyber is currently restricted to a select group of approved security customers. This release marks OpenAI's continued expansion into the cybersecurity market, with GPT-6 Cyber demonstrating significant capabilities in finding previously unknown flaws in systems like the Linux kernel and Firefox. AI

OpenAI has released GPT-6 Cyber, a new model designed for authorized defensive security applications. This model has reportedly achieved a critical rating and demonstrated fewer out-of-bounds runs during testing, suggesting improved stability and safety in security-focused operations. AI

Mistral Large 4, codenamed "Le Chonk," was released as an open-weight model on October 29th. This model boasts 1 trillion parameters and was trained in Europe, with its weights available on Hugging Face. Independent tests indicate it is the most powerful open model outside of China, showing particular strength in cybersecurity, though it does not match frontier models. A new license includes specific stipulations for hosting providers. AI

Google has released Gemini Omni 1.1, an updated version of its multimodal AI model. This new iteration significantly expands its context window to 10 seconds of prior scene context, a substantial increase from its previous 1-second limit. Gemini Omni 1.1 also introduces new capabilities such as 4K upscaling, interpolation for first and last frames, and conversational editing features. Additionally, Google is offering Gemini Omni 1.2 Flash, a more economical option designed for processing longer video clips through the Gemini API. AI

OpenAI has released GPT-5.5, a model that represents a full retraining since GPT-4.5. This new iteration offers a 40% reduction in token usage for similar tasks and achieves an 82.7% score on the Terminal-Bench 2.0 benchmark. However, its output token price is approximately double that of GPT-5.4, making its cost-effectiveness dependent on the scale of use. AI

Tencent has released HY4, a new open-weight AI model. The model is designed to be a powerful tool for various applications, but with built-in limitations to prevent malicious use, such as hacking. AI

NVIDIA has released the Nemotron-3.5-Transcribe-30B-A4B model, which is gaining traction on the olud.ai leaderboard. This open-source AI model is available through Hugging Face. AI

The Nasdaq experienced its worst day in 18 months, plummeting 5% as Wall Street saw widespread losses. This downturn is attributed to growing concerns that the artificial intelligence industry will face increased regulation following the recent midterm elections. Investors are anticipating stricter oversight on data center expansion, leading to significant drops in chip and memory stocks. AI

Dropbox has acquired cloud technology company Tigris Data for $350 million, aiming to significantly enhance its AI infrastructure. This acquisition is expected to bolster the development of Dropbox's new storage platform, DBX Agent Cloud, which is designed for businesses and developers building AI models and agents. The deal also signals Dropbox's broader strategy to integrate more AI capabilities into its core products, allowing users to interact with their files using various AI models and connect to third-party tools like ChatGPT and Claude. AI

Agility Robotics, a company specializing in humanoid robots for industrial tasks, has become the first pure-play humanoid robot manufacturer to go public on the Nasdaq. The company is raising $465 million through a SPAC merger to fund its research, development, and commercialization efforts, including the expansion of its manufacturing facilities and the development of its next-generation robot, Digit 5. Despite facing intense competition and significant financial losses, Agility aims to fill millions of manual labor roles with its robots, positioning them as a cost-effective alternative to human workers in logistics and manufacturing. AI

OpenAI has pledged to cover its own electricity costs for data centers and cease non-disclosure agreements related to its power consumption. This commitment follows a vote by the United States against data center development. The company aims to increase transparency regarding its energy usage and operational footprint. AI

Google is facing protests and internal cost-cutting measures simultaneously. In London, campaigners allege that Google's headquarters refused a petition with 54,000 signatures concerning the environmental impact of a planned data center development in Essex. Meanwhile, Alphabet's Google has expanded voluntary buyout offers to employees in several countries, including Canada, France, Germany, Japan, and Switzerland, as part of efforts to control rising costs, particularly in light of significant investments in artificial intelligence. AI

Moonshot AI has released the weights for its Kimi K3.1 Pro model, making them available for free commercial use under general terms. This move allows developers and businesses to integrate the advanced AI capabilities into their own products and services without licensing fees. AI

A new 65 billion parameter model, Ripple-65B-Preview, has been released, offering a cost-effective solution for commercial applications. The model is capable of processing 16.4k tokens, with pricing set at $0.2 per 1 million input tokens and $0.6 per 1 million output tokens. AI

Anthropic has launched its new Claude Opus 5.5 model family, which offers enhanced capabilities in coding, knowledge work, and communication. This latest iteration aims to surpass the performance of its predecessors. AI

DeepSeek has released a new AI model designed to autonomously perform coding tasks without explicit instructions. This model is positioned as a competitor to Anthropic's Claude Code, aiming to offer advanced capabilities in automated software development. AI

OpenAI has developed an autonomous AI pipeline capable of identifying, verifying, and patching vulnerabilities in complex software like the Linux kernel. In a recent run, this system discovered 948 local privilege escalation flaws, a task that would typically take human researchers years. The AI pipeline generated exploits for these vulnerabilities and proposed patches, costing approximately $1.2 million in API usage. This advancement highlights the potential for AI to significantly accelerate cybersecurity efforts, though it also raises concerns about the increasing ease with which sophisticated attacks could be mounted. AI

Discovered Materials, a startup backed by Y Combinator, is offering a total of $1 million in prize money for solutions to five complex materials science challenges. The company aims to establish measurable benchmarks for AI progress in the field. Despite providing internet access and autonomous work time, advanced AI models have so far made limited progress on these problems. AI

Major technology companies like Amazon, Microsoft, Alphabet, and Meta are significantly increasing their capital expenditures, with plans to spend at least $720 billion on AI infrastructure this year alone, adding to over $1 trillion in future commitments. Despite this massive investment, these companies have yet to see substantial returns from their AI initiatives, leading to investor unease. Google, for instance, is experiencing a slowdown in its core Search ad revenue growth as its new AI-enabled search features begin to cannibalize the established business before a clear monetization strategy is in place. AI

Activists across Europe are organizing two days of protests in 15 countries against the construction and operation of datacenters, which they argue have significant environmental and social costs. The "Stop Dirty Data Centres" campaign is calling for a moratorium on large datacentre projects, citing concerns about energy consumption, CO2 emissions, and the prioritization of datacenters over essential services like housing. While the tech industry highlights job creation and economic growth driven by AI development, protesters point to research suggesting substantial future emissions and the potential negative impacts of AI technologies like chatbots. AI

Google has updated its Gemini AI model, introducing Gemini 4 Argon as a new reasoning model. The update also brings persistent inbox monitoring, a morning briefing feature, and a planner. Additionally, Gemini now supports background task automation, though it requires user approval before execution. AI

Tencent has launched its new HY4 AI model, which features enhanced capabilities in instruction following, long-context understanding, and long-horizon tasks. Notably, HY4 introduces vision capabilities for the first time. This development marks a significant step for Tencent in the AI landscape, particularly within China. AI

OpenAI has released Images 2.6, an updated version of its image generation and editing tool. This new version is reportedly 50% faster than its predecessor and introduces GIF creation capabilities, allowing users to animate photos, sketches, or generate GIFs from text prompts. Additionally, ChatGPT now features a reference image library for users to store and reuse images, along with SVG export and individual frame editing. AI

OpenAI has released Images 2.6, an update to its image generation model family, available through ChatGPT, Codex, and its API. The new version introduces two models, Flare and Sunburst, designed for faster iteration and detailed compositions respectively. Key new features include GIF output, SVG export, and a complexity parameter to control planning before rendering, with Flare capable of generating images in as little as six seconds. AI

Chinese regulators have blocked SoftBank Group's proposed $5.4 billion acquisition of ABB's robotics division. This decision halts Masayoshi Son's strategy to build a physical AI business and highlights the vulnerability of cross-border hardware deals to Chinese government approval. The failed acquisition leaves SoftBank without a key component for its ambitions in factory automation. AI