The day's verified AI news for 2026-07-10. Every claim checked against the primary source.

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.

Read on Ground Truth · primary source

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.

Read on Ground Truth · primary source

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.

Read on Ground Truth · primary source

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.

Read on Ground Truth · primary source

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.

Read on Ground Truth · primary source

You are getting this because you subscribed at groundtruth.day.