A new RAND survey finds 57% of teens in high-income US families use AI for homework, against 43% in low-income ones. A year ago both stood at 39%, and parents explain the change.
A five-person Google DeepMind team, working with AI agents, produced about 6.5 million lines of machine-checked proofs for Signal’s one-to-one chat library in four weeks. The…
On Alibaba’s Co-Design Bench, the strongest coding agent fully cleared 26.4% of 273 real user app-edit tasks. It still met 69.9% of each task’s criteria on…
An unreleased OpenAI security model found and exploited 948 Linux flaws for $1.21m, a fraction of contest prize money. Linux maintainers are already stretched.
OpenAI's new Grid Protectors scheme promises families won't pay for its power. The Georgia deal behind it shows what that means for bills, and what it…
Mistral has released the weights of Large 4, a 1-trillion-parameter model anyone can download, as Google keeps its top cyber model for vetted defenders. What that…
Both labs say their AI models disproved the Exponential Time Hypothesis on the same day, 16 October. Outside experts are now checking, and Anthropic says the…