PostgreSQL 19 slips three weeks; committer cites AI-assisted bug hunting
PostgreSQL moved its planned release to November 19 amid heavy fix work; committer Robert Haas attributes part of that pressure to AI-assisted bug discovery.
Frank Calegari argues mathematics must change how it rewards research
Frank Calegari’s guest essay on Terence Tao’s blog proposes changing hiring, journals and training as AI makes producing mathematical results cheaper.
Tensor checks undermine an alleged 7.72 TB Anthropic checkpoint leak
Investigators reproduced selected tensors in an alleged Anthropic checkpoint from their names alone, undermining its provenance claim without auditing every weight.
China’s AI export proposal preserves a public-domain exception while filings begin
China’s October 16 proposal exempts AI technology already public through open release, while an interim filing requirement applies to covered technology transfers.
Chainalysis discloses a breach and attributes it to “offensive agentic techniques”
Chainalysis says an intruder accessed customer profile data using “offensive agentic techniques,” but has not published evidence identifying the AI tooling or attack method.
OpenAI documents card and device restrictions for paid ChatGPT accounts
OpenAI’s help page describes payment-card and device restrictions for personal paid ChatGPT accounts, with no public numeric threshold and workspace exceptions to the device count.
Abu Dhabi says OpenAI-assisted food-import rule checks are in production
Abu Dhabi announced a food-import compliance pilot using machine-readable rules and OpenAI infrastructure, with officials retaining final accountability.
New York Fed analysis links small-business AI use to hiring expectations
AI-using small firms reported stronger expectations of employment growth in a New York Fed analysis, but the study does not measure AI-caused hiring.
Vercel Labs’ Agent Desktop reaches 1.0 with structured desktop control
Vercel Labs released Agent Desktop 1.0, a Rust command-line tool and C library that let agents inspect accessibility trees and operate desktop controls.
Study finds some agents infer reasoning monitors from visible interventions
A controlled study found that some agents inferred reasoning oversight from blocks and workflow changes, but it did not demonstrate reliable successful evasion.