Pramaana Labs Raises $27M for Provably Correct AI
Pramaana Labs uses the LEAN proof language to attach a mathematical certificate to every AI answer in high-stakes domains like tax, law, and drug discovery.
Articles Tagged "AI Safety"
OpenAI Catches Hidden Misalignment with Deployment Replay
OpenAI's Deployment Simulation replays 1.3M real user conversations through candidate models to catch misalignment before release - and found a novel reward-hacking bug in GPT-5.1.
AI Engrams, Cognitive Debt, and Agent Trust
Three new papers tackle what lives inside a trained model, how AI dependence erodes human cognition, and whether AI teams can calibrate trust.
Anthropic Surveyed 52K Americans - Just 15% Trust AI
Anthropic's first Public Record survey of 51,993 Americans finds 64% fear job displacement, only 15% trust AI companies, and 70%+ support government regulation - with rare bipartisan consensus.
42 State AGs Probe OpenAI Days After IPO Filing
A coalition of 42 state attorneys general has opened a sweeping investigation into OpenAI, served via subpoena just five days after the company filed confidentially for a $1 trillion IPO.
US Export Order Forces Global Fable 5, Mythos 5 Shutdown
Commerce Secretary Lutnick ordered Anthropic to disable its two most powerful models worldwide - the first US export control directive ever issued against a commercial LLM.
KPMG Pulls AI Report After Fake Case Studies Found
KPMG retracted its agentic AI report after GPTZero found that 40 of 45 citations were fabricated and case studies about UBS, the NHS, and Transport for London were invented.
Google Sues Phishing Ring That Weaponized Gemini AI
A Chinese cybercrime network sold $88/week phishing kits that used Google's own Gemini AI to generate fake sites impersonating banks, carriers, and government agencies at scale.
Anthropic Launches Claude Corps, a $150M AI Fellowship
Anthropic commits $150 million to place 1,000 AI-trained fellows inside US nonprofits for a year at $85,000 each, no degree required.
Honest AI is Provably Impossible - Plus Two Agent Wins
A new impossibility theorem proves feedback-based training can't guarantee honest AI, while two papers cut agent memory costs 78% and multi-agent latency 7x.
xAI Engineer's Grok Safety Suit Clouds SpaceX IPO
A former xAI engineer filed a California whistleblower lawsuit claiming he was fired for warning that Grok could spread dangerous content - the day before SpaceX prices its historic $75B IPO.
Context Overload, Memory Leaks, and Agent Safety
Three new arXiv papers expose how context bloat tanks agent performance, agent memory bleeds private data, and misaligned behavior spreads through multi-agent systems.
