AI Daily for 11 July recaps 5 major AI Hacker News stories, moving through apple openai trade secrets, gpt-5.6 graph proof, brain-stimulation videos, boko haram ai.

1. Apple OpenAI Trade Secrets

The next story is Apple's lawsuit accusing OpenAI and former Apple employees of stealing confidential hardware designs, supplier know-how, and internal documents to speed up OpenAI's device work, a claim that matters because it could disrupt OpenAI's hardware push and show how aggressively the AI race is being fought. Hacker News reacted with a mix of shock and cynicism, with many readers calling the alleged behavior brazen and stupid while others argued this is just another round of megacorp espionage dressed up as moral outrage.

Story link

Hacker News discussion

2. GPT-5.6 Graph Proof

The next story is a paper claiming GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture, a long-open graph theory problem, and if that proof survives scrutiny it would be a serious milestone for AI-assisted mathematics. Hacker News reacted with a mix of awe and distrust, with readers arguing over whether this was a real breakthrough, an expensive prompt engineering stunt, or simply a claim that still needs formal checking.

Story link

Hacker News discussion

3. Brain-Stimulation Videos

The next story is about EPFL's NEvo project, which claims AI-generated videos can be evolved to maximally activate a chosen visual brain region in a digital twin, and that matters because the same technique could help map brain function or sharpen future attention-hacking media. Hacker News reacted with a mix of curiosity and alarm, with some readers seeing a useful neuroscience tool while many others argued it sounds like superstimuli research for ads, social feeds, and other manipulative content, and a few said the demos looked underwhelming anyway.

Story link

Hacker News discussion

4. Boko Haram AI

The next story is about a Cambridge policy report arguing that Boko Haram has used frontier AI to answer operational questions, turn scattered public knowledge into usable guidance, and lower the barrier to violent tactics, which matters because it makes AI misuse feel less hypothetical and more immediate. Hacker News mostly reacted with skepticism, debating whether the evidence proves meaningful new capability or just shows that chatbots are a faster way to search, translate, and organize what was already out there.

Story link

Hacker News discussion

5. Model Build-Off

The next story is a TryAI build-off claiming GPT-5.6, Grok 4.5, Claude, Muse Spark, and several open-weight models can be compared by having each one-shot the same four small apps, and it matters because these side-by-side app tests are becoming a shorthand for how people judge real coding usefulness. Hacker News liked seeing concrete artifacts and cost data, but the thread argued over whether one-shot toy apps reveal anything about serious software work and whether the article's obvious AI-polished voice made the whole exercise harder to trust.

Story link

Hacker News discussion

That’s it for today.