Technology & AI
OpenAI model proves ten math results with Lean certificates
OpenAI published ten new results from an internal model on open math and CS problems, with Lean proof certificates on GitHub for anyone to check.
Technology & AI
Daily AI and technology news decoded in plain English — models, chips, agents and research, and what each development actually means for you and your business.
418 stories
Technology & AI
SCAIR steers AI agents with enterprise schemas, no retraining
SCAIR, from Bosch and Stuttgart researchers, injects enterprise schemas into AI agent reasoning, beating generic RAG without retraining.
Technology & AI
SeT-Diff: first foundation model for supercomputer telemetry
SeT-Diff from University of Bologna conditions diffusion models on sensor descriptions, doing imputation, forecasting and virtual sensing in one model.
Technology & AI
OpenAI pledges responsible AI in Europe as EU Act advances
OpenAI's July 31 post claims its safety and transparency practices support European AI governance, but offers no compliance details as the EU AI Act
Technology & AI
AI agents do 100 office tasks cheaper than humans, but not as well
OmegaUse-OfficeVal pairs 100 real office tasks with labour costs, showing AI agents are cheaper and faster but still fall short on quality.
Technology & AI
World model AI can be tricked into false safety
A new arXiv survey maps how attacks on world models, the predictive engines behind embodied AI, can propagate from data into physical action.
Technology & AI
OpenAI 'abundant intelligence' post lays out AI cost flywheel
OpenAI's July 31 post describes a full-stack push for cheaper, more capable AI, arguing falling intelligence costs change what work is worth doing for
Technology & AI
MTGuard paper targets malicious MCP tool use in AI agents
An arXiv preprint proposes MTGuard, a hybrid analysis framework that catches malicious MCP tool use in AI agents while preserving normal task performance.
Technology & AI
RSMeM: satellite AI agents learn from mistakes, 6% accuracy gain
RSMeM adds a knowledge-enhanced memory system to remote sensing AI agents, improving DeepSeek-V3.2 accuracy 6% with under 1% extra tokens, per arXiv.
Technology & AI
Change2Task turns pull requests into coding agent tasks at 79.6%
Change2Task, a July 30 arXiv preprint, converts merged pull requests into verified coding agent tasks at 79.6% success, targeting the training-data
Technology & AI
AI agent trust model cuts telecom cascade from hours to real-time
AgentToolMO proposes cross-vendor trust signals for AI agents in autonomous telecom networks, cutting cascade failures from hours to near-real-time.
Technology & AI
TraceCoder adds audit trail to AI-generated code
A new arXiv preprint tracks every repair attempt in LLM code generation, giving developers a replayable audit trail for AI-written code.