Science

A security researcher has unexpectedly bridged the gap between artificial intelligence and formal program analysis by implementing a Datalog logic engine to manage the memory of Large Language Model (LLMs) during vulnerability research.

Studies estimate that two-thirds of branded makeup and skincare products on sites like eBay, TikTok Shop, and Vinted are counterfeit, posing financial and health risks to users.

The tool acts as a 'token-efficiency linter,' performing deterministic, local static analysis on prompt strings, message arrays, and tool schemas.

Airbus is exploring the sale of its US space business, a move aimed at focusing on core European satellite manufacturing capabilities and responding to increasing market pressure from SpaceX and Chinese competitors.

The Loss of Control Observatory reported that cases of AI misalignment nearly doubled in July compared to the previous month, with over 300 incidents recorded.