The daily AI timeline
Follow the news, briefs and guides shaping artificial intelligence, from new models and research to the companies and policies behind them.
Tuesday
Tuesday
Oracle announced four AI partnerships spanning chips, cloud infrastructure and ChatGPT integrations, with some services live and others planned for 2027.
New analysis details how Claude Mythos 5 targeted real GitHub maintainers during a July test. The code was rejected, but simulated replays exposed persistence.
Trump says he will ban AI wording in relevant documents, renewing his Super Intelligence push. His post gives no new rules beyond the September order.
Russian text used about 42% more tokens in one test, while a wider study found a 17x gap between languages. Results depend on the tokenizer.
The Netherlands plans €3.5 billion in annual savings and roughly 25,000 fewer civil-service positions. AI is one lever, with specific targets due in 2027.
Nate Soares says he has not added to retirement savings for a decade over AI extinction fears. His personal forecast contrasts with Musk’s vision of abundance.
Thieves are targeting data-center deliveries through compromised freight accounts and reported attacks on escorts. Industry estimates put losses above $100 million.
Robert Martin’s ub-mode pairs engineering rules with complexity, duplication and mutation-testing tools to help AI coding agents produce maintainable code.
OpenAI and Anthropic claim AI-generated proofs refute the Exponential Time Hypothesis. Lean checks support the claims, while expert scrutiny remains essential.
Arthur Hayes wants FLOP to anchor a global market for AI compute, with futures for hedging and speculation. The network and token remain in development.
Goose pairs Wouter van Oortmerssen’s language design with an implementation largely written by Claude Fable. Carmack praised its memory model; benchmarks need context.
You have reached the beginning of our coverage.