Skip to content

AI Safety

331 articles found

Tech Giants Adopt Lean4 Programming Language to Eliminate AI Hallucinations Through Mathematical Proof Verification

Tech Giants Adopt Lean4 Programming Language to Eliminate AI Hallucinations Through Mathematical Proof Verification

Nov 24, 2025
Venturebeat

Major tech giants including OpenAI, Meta, and Google DeepMind are adopting Lean4, a mathematical proof verification programming language that eliminates AI hallucinations by requiring formal verification of every statement, with early results showing AI success rates jumping from 12% to 60% despite scalability challenges.

Chinese Hackers Execute First Large-Scale AI-Powered Cyberattack Using Claude to Target 30 Global Organizations

Chinese Hackers Execute First Large-Scale AI-Powered Cyberattack Using Claude to Target 30 Global Organizations

Nov 18, 2025
Fortune

Chinese state-sponsored hackers execute the first documented large-scale AI-powered cyberattack, using a jailbroken Claude AI system to autonomously target 30 global organizations including tech companies and government agencies, with artificial intelligence performing 80-90% of the attack work including writing exploit code and harvesting credentials.

Previous
Page 23 of 34
Next
Showing 221 - 230 of 331 articles