NerdNews

OpenAI has announced new discoveries in mathematics, computer science, and physics, including proof of Sogge's local smoothing and the falsity of the Exponential Time Hypothesis. The company formed groups of experts to examine and explain the results, which have been published on GitHub and will be further developed by the expert groups.

Airbnb has extended its open source Chronon feature platform to update sequence based recommendation embeddings within seconds of guest activity, reducing embedding staleness from nearly two days to less than a minute.

DeepMind's Genie 4 world model adds audio and more realistic people to simulations, with improved physics and human movement. It will be available to developers and Google AI Ultra subscribers soon, with potential applications in robotics, prototyping, and more.

Google's Gemini 4 Carbon promises a significant leap in AI coding and cybersecurity, topping Claude Opus 5.5 in several key benchmarks. It excels in finding and prioritizing vulnerabilities, patching them, and generating secure code. The model will initially be released to select cybersecurity defense companies before being made widely available.

Mistral has released the weights for its trillion-parameter open source AI model, allowing businesses and governments to download and deploy the system themselves. The model, nicknamed 'Le Chonk', achieves state-of-the-art performance at a fraction of the compute and capital committed by closed labs, and is comparable in terms of performance with a Chinese open-weight competitor, GLM-5.3.

A new startup called &Truth is joining the race to automate formal verification, a process that uses math to prove software works as intended. This technology has the potential to make software more reliable and secure, but its adoption is still uncertain. Several companies, including Apple and Amazon, have already used formal verification to improve the security of their products.

A sweeping surveillance operation by ICE's Homeland Security Investigations has been uncovered, targeting left-wing social movements in Minnesota and beyond. The operation, which rivals the FBI's COINTELPRO, has used invasive techniques such as drone surveillance, undercover agents, and data analysis to monitor activists. The investigation has raised concerns about the suppression of First Amendment-protected activities and the potential for abuse of power.

Charles Humble discusses Green AI, emphasizing the need for sustainability as a top-level architectural concern. He recommends using pre-built models, running compute where low-carbon electricity is abundant, and training on renewable energy to reduce carbon emissions.

Anthropic's Claude Code team has published how they run code review, claiming that nobody needs a complete mental model of the code. The team uses Claude to write explainers for parts of the codebase, and most pull requests merge with at most one human in the loop. The system has been tested and has shown some failures, but the team believes it can improve the code review process.

Chrome 157 introduces HTML-in-Canvas API, allowing interactive DOM elements inside 2D, WebGL, and WebGPU contexts, providing a balance between performance and accessibility

Thrive Holdings, backed by OpenAI, has acquired physical security company ADT for $10 per share or about $7.6 billion in equity. The total enterprise value of the deal is $15.3 billion. Thrive Holdings plans to invest in and release new AI-powered security products, leveraging OpenAI's technology and expertise.

Meta has launched Style Sketch, an AI-powered fashion app that helps users create outfit ideas using clothes they already own. The app connects to Instagram to build a virtual closet and suggests outfit combinations based on the user's style. It also allows users to try on outfits virtually and plan outfits for trips.

Wabi, an AI agent that builds mini apps, has raised $55 million at a $1.25 billion valuation. The company has pivoted to become a personal AI agent, allowing users to build interfaces for various tasks such as meal planning and fitness plans.

Cloudflare has introduced a beta Web Search API for AI applications, providing unified logging, access controls, and billing. The API enables AI agents to retrieve live web results and provides a unified interface for search billing and logging. It supports bring-your-own-provider keys and requires providers to follow verified-bot requirements.

Google's use of AI summaries has cut into its traditional search and advertising business, contributing to a missed revenue projection and a significant drop in stock price. The company's capital expenditure on AI development has ballooned, with no clear path to profitability.

319 Chrome extensions with 13.4 million installs have been caught hijacking searches, redirecting users through tracking servers to generate ad revenue. The extensions, often promoted through shady ads, can be used for malicious purposes such as phishing or malware downloads.

Ex-Palantir executives Andy Elder and Arjun Mathur have launched Dream, a startup that uses AI to build world models for the construction industry. With $17 million in seed funding from Andreessen Horowitz, Dream aims to automate building design and engineering, replacing outdated tools like AutoCAD and Revit. The company's approach, called 'structural cognition,' generates structurally precise designs that account for internal building elements like plumbing and HVAC.

SuperMe, a network of AI profiles built from real-life experts, raises $20M to scale its platform, allowing users to ask questions and get answers from AI profiles of experts in various fields.

The Atelico AI Engine is a toolkit for adding language models, image generation, speech systems, and AI-driven character behavior to games. It allows developers to give NPCs personalities, motivations, relationships, and memories that shape their later actions, making gameplay more interactive and personal.

Binance has confirmed a security incident with a potential impact of at least $6.3 billion, making it the largest crypto hack in history. The company's security teams are investigating and user funds are reportedly safe. The hack may have involved a compromised DevOps engineer's laptop, allowing an attacker to gain access to a service container and submit unauthorized withdrawal transactions.