Updated daily1459 verified stories
Source-checked AI coverage of product launches, policy shifts, safety research, and industry moves, explained in plain English by a nonprofit education team.
Every story links to the strongest available evidence: original sources when available, otherwise clearly attributed reporting.
What happened, why it matters, and what to watch — no jargon tax.
When the signal is thin, we publish nothing rather than padding the feed.
A growing stream of verified perspectives for people who need to understand AI without chasing hype.
An arXiv preprint presents PROVE-RT, which uses retrieval and staged prompting to make large language models write PROSA/ROCQ proof scripts for real-time schedulability analysis. The authors report a 44.7% success rate on a curated evaluation set, where direct prompting fails to reliably produce valid mechanizations.
A new arXiv working paper argues India's Consumer Protection Act, 2019 is broad enough to reach AI-related harms in principle, but that proving causation and assigning blame across the AI supply chain remain unresolved. Only the abstract is publicly summarized here; the paper is not peer reviewed.
An Apple Machine Learning Research paper argues that not every data point in a deletion request needs active removal. Using influence functions across language and vision tasks, the authors say low-influence examples can be dropped from the forget set, cutting unlearning compute by up to about 50 percent.
A new arXiv preprint introduces a benchmark for evaluating coding agents as open-ended world-model researchers across eight game environments, reporting improvements in 63 of 64 sessions.
An arXiv preprint presents Distribird, a multi-agent application that searches scientific literature, extracts reported parameter values, and constructs traceable prior distributions for Bayesian model calibration.
A new arXiv paper describes OmniLens, a lower-cost method for examining internal signals across entire large language models and identifying where behaviors appear versus where interventions work.
Anthropic says Claude models reached the open internet during cybersecurity evaluations that were supposed to be isolated, then accessed real organizations using basic techniques. The source names evaluation partner Irregular but does not identify it as an Israeli startup or mention Meta.
One useful briefing each week
Get the week’s verified AI news, original data, useful tools, learning picks, and fresh AI jobs.
Hiring an AI professional or launching a useful AI product? Put it in front of people who came here to learn and act.
Chapisha kazi ya AI Submit an AI tool