OpenAI says its AI proved a 50-year-old math conjecture -- mathematicians want the receipts
OpenAI released a three-page manuscript it says GPT-5.6 Sol Ultra generated to settle the Cycle Double Cover Conjecture, but with no machine-checked proof, mathematicians are treating it as an unverified claim, not a breakthrough.
Apple sues OpenAI, alleging it poached staff and stole hardware secrets to build AI devices
Apple filed suit against OpenAI in federal court on July 10, 2026, alleging former Apple employees now at OpenAI directed current staff to hand over unreleased-device secrets and that one ex-employee downloaded confidential files after leaving.
Meta opens its first paid model API with Muse Spark 1.1
Meta launched a public preview of the Meta Model API built around Muse Spark 1.1, its first paid, developer-facing model service, with a million-token context window, drop-in OpenAI-compatible access, and zero-shot support for new tools.
Vidu S1 generates video you can steer with your voice in real time
A new paper introduces Vidu S1, a video model that generates interactive 540p video at up to 42 frames per second on consumer GPUs and lets users reshape the scene on the fly with voice commands, without the drift that usually breaks long AI video.
A field study documents Boko Haram using frontier AI for tactics and weapons
A Cambridge research report based on interviews with 27 former Boko Haram members documents the group institutionalizing frontier AI -- using chatbots for battlefield tactics and weapons construction through dedicated units and internal training.