Did OpenAI's Secret Model Just Crack Math?

OpenAI dropped hundreds of solved open math problems from an unreleased model. HBO Max and Paramount Plus agreed to become one streamer. Apple's smart home push leaked, including LG-branded gear. Ring unveiled a dial-recharging lock. And Xreal opened Aura preorders. OpenAI releases a range of new mathematical results produced by an internal model, with details like estimations of compute spent in terms of ChatGPT Pro usage (OpenAI) OpenAI reveals solutions to long-standing math problems from an unreleased frontier model in 722 manuscripts covering 372 result families, with the "average result" using about three hours of ChatGPT Pro thinking (The Verge) OpenAI's new proofs, many checked in Lean, came from an unreleased model; some mathematicians question whether AI is finishing human researchers' work without due diligence (New York Times) HBO Max and Paramount Plus will merge into a single streamer under Skydance (The Verge) Sources: Apple's smart home push includes a doorbell, a thermostat, a deadbolt, security cameras, and accessories developed with LG that will carry the LG brand (Bloomberg) Amazon's Ring unveils the $249 Ring Smart Lock, which uses a physical dial to recharge the battery when turned, set for a Q1 2027 launch, and five new cameras (Bloomberg) Xreal opens preorders for its Android XR-powered Aura glasses with a compute puck, starting at $1,279 for 12GB/256GB, in the US, Canada, Japan, and South Korea (Engadget) Hands-on: Xreal's Aura and Meta's VR Glasses are direct competitors; Meta's feel more polished for sitting and typing, while the Aura's see-through lenses work better walking around (Wired) Subscribe to the ad-free feed.