
OpenAI's models produce a machine-checked proof of the quasi-Riemann hypothesis, which a Stanford mathematician calls the biggest AI-for-math achievement yet - Quanta Magazine
the good (Riemann identity), the bad (Astra breaches) and the ugly (Cobol)
Saudis apparently facilitated evacuating his family after his arrest.

also Jean Talinn, maybe Spotify can afford better servers

Robot Robinson Crusoe: Researchers stranded Claude agents on a virtual island without instructions; they invented games and later outperformed fresh copies on new tasks - MIT Technology Review

Meta's Prometheus supercluster in Ohio now spans hundreds of thousands of GPUs, trained its Muse models, and will reach roughly 1 million GPUs - Engineering at Meta
robots pecking at our liver, for eternity


Exposed dashboards for Cairn, an AI agent hacking tool, revealed 1,100+ attack projects against firms including John Deere and SharkNinja; about 10% succeeded - The Neuron Daily

Institute for Progress estimates the US AI lead over China at 6.5 months, urging curbs on copying US models and remote chip access - Institute for Progress






Economist Dario Perkins warns an AI bust could be triggered by political backlash against data centers, a chip glut, or $2 trillion in debt - Business Insider


Jamie Dimon says AI-fueled cyber threats are now JPMorgan's "biggest risk by far," urging business leaders to bolster defenses - The Wall Street Journal


MI5 chief Ken McCallum warns AI could raise the stakes for bioweapons, as a Johns Hopkins expert weighs policy safeguards - the Guardian

FBI warns thousands of scam sites using AI deepfakes are targeting voters ahead of US midterms - TechRadar

AI work-assistant startup Town becomes a unicorn after raising $108 million just weeks after launch - SiliconANGLE


Texas A&M study finds training Llama and Qwen models on junk tweets erodes reasoning, memory and ethics, and cleaner retraining doesn't fully fix it - Digital Trends

Australian researchers urge tougher privacy laws as employers use AI to track workers' keystrokes, messages and CCTV footage - the Guardian


Google now allows AI in coding interviews, tests candidates' AI fluency, and pilots Gemini to take interview notes and draft feedback - Business Insider


Developers use Claude Code to strip ads and viewing tracking from smart TVs, though some sets have been bricked - TechCrunch

Follow the latest AI headlines via druce.ai on Bluesky


