Anthropic researcher Tianyi Peng tested whether the Claude AI model could formalize Fermat's Last Theorem in the Lean proof assistant, and over 11 days of largely autonomous work, Claude generated an end-to-end, machine-checked proof. The system wrote roughly 13 million lines of Lean code and proved about 29,500 intermediate theorems, building on decades of prior work including Andrew Wiles's 1995 proof and a community formalization effort led by Kevin Buzzard since 2024.
The developer behind the PJON networking protocol spent two months building TERMy, a natural-language terminal assistant that avoids using large language models entirely. The project began as an attempt to train small transformer models from scratch on aging consumer hardware, including a GTX 1050 Ti and an i7-4790K, but those experiments produced incoherent or unsettling text outputs.
Ollie, a subscription-based personal AI assistant, has become one of the first family-focused AI products to achieve SOC 2 compliance, an independently audited standard proving it has formal data security controls in place. CEO Bill Lennon says the company's subscription model, rather than data monetization, ensures user data isn't shared or used for AI training. The San Diego startup has raised $7.5 million in seed funding led by Khosla Ventures and AI House.
A Home Assistant user rerouted their Withings Body+ smart scale's data by pairing it with an original ESP32 board over Bluetooth Classic instead of relying on Withings' cloud servers. The ESP32 receives weigh-in data from the scale and forwards it to Home Assistant over Wi-Fi using ESPHome, with an AI coding assistant helping reverse-engineer the undocumented Bluetooth protocol from the Withings Android app.
A robotics developer describes attempting to offload the tedious process of visually debugging robot code to an LLM coding assistant equipped with an image encoder and MCP server access to a visualizer tool. The experiment largely failed: the assistant lacked an intuitive sense of what correct robot behavior looks like and struggled to navigate the debugging GUI, taking minutes to reach a viewpoint the developer could reach in seconds.
In a Decoder interview, Sonos CEO Tom Conrad, who became interim chief after the botched 2024 app redesign and took the permanent job a year ago, said the company has moved past that turmoil. He outlined the launch of Sonos 27, a new software platform meant to unify the company's speakers into a smarter, more interconnected system.
Anker introduced MindBase, an AI-powered smart home hub that centralizes control of its security, energy, cleaning, and audio devices while running a large language model on-device for local processing. The hub offers up to 48TB of local storage with no subscription fees and connects to third-party ecosystems like Matter, Apple HomeKit, Alexa, Google Assistant, and Home Assistant via a feature called EasyOmni Link. Alongside MindBase, Anker's Eufy brand also revealed new security hardware including the E50 NVR system, a video doorbell, and a window camera.
Google has rolled out a Google Home app update that lets Gemini for Home handle voice requests that mix media playback and smart device controls in a single command, such as turning off lights while stopping music. The update also fixes previously reported bugs with setting alarms and adding items to Google Keep, and it now alphabetizes automation options while enforcing privacy settings on third-party routines.
Amazon has rolled out a new capability in its Alexa for Shopping assistant that lets customers ask whether an email, text, or call claiming to be from Amazon is genuine. The AI compares the message against Amazon's own records of communications sent and examines its content, formatting, and sender details before confirming authenticity, but only when it is highly confident.
Egiziago Cioffi, CEO of Microsoft partner SynSphere Italia, discovered that an Azure OpenAI email assistant he built was returning SharePoint content to a low-privilege test account that the account could not access directly in SharePoint. The assistant had passed all evaluation scores and unit tests, but comparing outputs from a high-privilege and a low-privilege account against identical queries exposed the mismatch, revealing that retrieval was happening under the indexer's permissions rather than the requester's.
Amazon launched a new Alexa for Shopping feature called 'Update Me When,' which sends personalized notifications when events like a new product line, book release, or concert announcement could prompt a purchase. Users manually set up these alerts for now, choosing what brands, artists, or products they want tracked.
Sonos unveiled its Sonos 27 software platform alongside new hardware, introducing annual OS version numbers and a redesigned app interface. The update lets external AI assistants like ChatGPT control Sonos systems through a public MCP server, enabling voice or text commands to play music, move audio between rooms, and adjust volume without a dedicated app.
GoKawiil