Anthropic reports a milestone: its Claude model produced the first fully machine-checked Lean proof of Fermat’s Last Theorem in just eleven days, spanning over 13 million lines of code.
Ubisoft is pulling For Honor from Linux: citing anti-cheat limits, the medieval fighter becomes unplayable on Steam Deck, SteamOS and Linux desktops, with only a vague promise of a return.
A Host header weakness in the Python framework Starlette bypasses path-based access controls. CISA added the bug to its known exploited vulnerabilities catalog on September 2.
Li Auto is moving its entire lineup to in-house 5C batteries, reducing reliance on CATL, and investing 390 million dollars to become the second-largest shareholder in cell maker Sunwoda EVB.
The lightweight open-source monitor Beszel ships version 0.19.0 with ZFS monitoring, more granular alerts and a security-relevant change: agents now verify HTTPS certificates.
At IFA 2026 Acer revealed the Predator XB253Q U1, which it calls the world’s first gaming monitor to hit 1000 Hz at native Full HD. Ships 2027.
Google has switched on its Lyria 3.5 music model for all Gemini users, turning a text prompt into a full song with vocals, verses and choruses lasting up to about three minutes.
A team led by Sushant Dutta measured twelve dying radio galaxies. Their afterlife proves surprisingly brief, and the most distant remnants fade even faster than nearby ones.
Sonos unveils its second-generation Ace Ultra headphones with stronger ANC, 35-hour battery and a direct Wi-Fi link to Sonos speakers. Price in Germany: 449 euros.
University of Edinburgh researchers compute magnetic pulses that flip memory bits with up to a hundredfold less energy. Published in Advanced Materials, so far only in simulations.
