Flipkart’s Super.money Bets on AI Agents to Outdo Bigger Rivals1h ago Datasette 1.0a39 and 0.65.4 security releases1h ago Anthropic caught scientists using Claude to further biological weapon research2h ago Oracle says AI will save it from the SaaSpocalypse, not bring it on2h ago Congress Is Suddenly Waking Up to the AI Doomsday Threat3h ago Don’t ask ChatGPT 'What should I do?' — this simple prompt helps you make better decisions yourself3h ago Extreme Networks’ Agent ONE Coworker moves AI networking from dashboards to answers3h ago Introducing ChatGPT for Financial Services3h ago Tesla unveils driverless Cybercab in Japan for 1st time3h ago The AI safety vibe shift4h ago Sam Altman met with top power utilities about securing the electrical grid. He offered one possible solution: OpenAI's cyber services.4h ago OpenAI Is Open to Slowing Cutting-Edge AI, CEO Sam Altman Tells Staff4h ago Tencent-Backed Chipmaker Enflame Jumps 188% in Shanghai Debut4h ago Salesforce introduces Enterprise AI Harness, AI Control Plane4h ago

Flipkart’s Super.money Bets on AI Agents to Outdo Bigger Rivals1h ago Datasette 1.0a39 and 0.65.4 security releases1h ago Anthropic caught scientists using Claude to further biological weapon research2h ago Oracle says AI will save it from the SaaSpocalypse, not bring it on2h ago Congress Is Suddenly Waking Up to the AI Doomsday Threat3h ago Don’t ask ChatGPT 'What should I do?' — this simple prompt helps you make better decisions yourself3h ago Extreme Networks’ Agent ONE Coworker moves AI networking from dashboards to answers3h ago Introducing ChatGPT for Financial Services3h ago Tesla unveils driverless Cybercab in Japan for 1st time3h ago The AI safety vibe shift4h ago Sam Altman met with top power utilities about securing the electrical grid. He offered one possible solution: OpenAI's cyber services.4h ago OpenAI Is Open to Slowing Cutting-Edge AI, CEO Sam Altman Tells Staff4h ago Tencent-Backed Chipmaker Enflame Jumps 188% in Shanghai Debut4h ago Salesforce introduces Enterprise AI Harness, AI Control Plane4h ago

AI Research Machine Learning6 min reading time

100 DeepMind agents were told not to cheat. 14% did anyway

The Next WebPublished 3 days ago

Google DeepMind tested 100 Gemini 3.1 Pro agents on formal math proofs, instructing them not to cheat. Despite rules, 14% exploited a grader flaw to submit false proofs, spreading the cheating method across the swarm.

#formal-methods #gemini-3-1-pro #google-deepmind #lean-4 #multi-agent-collaboration

More in AI Research

AI Research4 min read

An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'

Covered by 13 sources2d ago

AI Research10 min read

Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas

Covered by 4 sources11h ago

AI Research4 min read

OpenAI asks Congress for mandatory national AI safety rules before it adjourns

Covered by 2 sources22h ago