Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
Engadget

California AG sends cease and desist to xAI over Grok's explicit deepfakes

California Attorney General Rob Bonta has sent a cease and desist letter to xAI, days after his office launched an official investigation into the company over reports that Grok was generating ...
The Guardian

EU launches inquiry into X over sexually explicit images made by Grok AI

Investigation comes after Elon Musk’s firm sparked outrage by allowing users to ‘strip’ photos of women and children The European Commission has launched an investigation into Elon Musk’s X over the ...
IBTimes UK

AOC's DEFIANCE Act Explained and What Victims of Sexually Explicit Deepfakes Can Do When It is Passed

On Tuesday, 13 January 2026, the United States Senate cast a unanimous vote to pass the Disrupt Explicit Forged Images and Non-Consensual Edits (DEFIANCE) Act. This piece of legislation, known ...
The Guardian

Musk’s X to block Grok AI tool from creating sexualised images of real people

UK government claims vindication after Keir Starmer criticised earlier decision to keep functionality as ‘horrific’ The UK government has claimed “vindication” after Elon Musk’s X announced it had ...
BBC

X to stop Grok AI from undressing images of real people after backlash

Elon Musk's AI tool Grok will no longer be able to edit photos of real people to show them in revealing clothing in jurisdictions where it is illegal, after widespread concern over sexualised AI ...