41 results for “Lean”
DeepMind ran 100 Gemini 3.1 Pro agents on 71 Lean conjectures. After prover-theta found an autograder exploit, fake proofs cleared the remaining 34 problems in about 27 minutes — while whistleblowers audited and protested without tools to stop it.
Apple researchers proved that evaluating complex Boolean queries over inverted indexes is P-Complete, establishing a theoretical limit for traditional search engines. The ComputePN algorithm avoids exponential blowup and universal scans by using a Positive-Negative dual representation and DAG memoization.
Red Hat and Hugging Face hosted a PyTorch systems evening in Bengaluru for more than 170 students and engineers. Talks covered profiling, SGLang serving, OpenEnv RL environments, DeviceMesh/FSDP2, and zero-copy GPU communication.
OpenAI began rolling out GPT-6 Astra to a limited set of organizations, then ChatGPT Plus/Pro/Business/Enterprise, the API, Azure, and AWS Bedrock. Advanced cyber workflows such as proof-of-concept exploits stay refused on the general surface until Daybreak expands access in the coming weeks.
Google DeepMind released WeatherNext 3, an AI weather model that ingests live satellite data hourly and forecasts at 5 km resolution. The upgrade brings sharper precipitation, wind, and solar predictions to Search, Maps, Gemini, and Cloud.
Microsoft AI released MAI-Transcribe-2 on September 3 at $0.10 per audio hour, a 72% price cut from five months ago. The model supports 60 languages and adds diarization, word-level timestamps, and code-switching for mixed-language audio.
Industry reports say Micron is pushing High Bandwidth Memory capacity toward roughly 100,000 wafers a month by end-2026 — about double last year’s estimated run rate — while lifting 12-high HBM4 share for NVIDIA’s Vera Rubin. Micron has not issued a matching September IR confirmation of the wafer target.
Google added a Media Watermark toggle in Gemini Apps that lets users disable visible watermarks on AI-generated images, videos, and music. Invisible SynthID and C2PA provenance signals remain embedded in all generations.
Anthropic has never tried to market Claude like a simple productivity app. Its latest commercial makes that clear again, but this time the reaction has been much sharper.
Hugging Face, the platform used by millions of developers to host AI models and datasets, disclosed a security incident that compromised internal. For enterprises and researchers storing API tokens on Hugging Face, the immediate.
OpenClaw Foundation released version 2.0 on August 30, 2026, bundling over 16,000 pull requests from 933 contributors. The update rewrites onboarding, adds multiplayer cloud sessions, and introduces breaking migrations for plugins and OpenAI routes.
OpenAI released a field report that tracks eight scientific computing projects where coding agents reduced runtime and engineering overhead. The projects span genomics, immunology, statistics, and RNA sequencing.