LLMs, robotics, ML infrastructure, and AI applications.

The operating system kernel at the heart of DARPA autonomous vehicles and Boeing rotorcraft runs on something unusual: mathematical proof.











A team from TTI-Chicago, the University of Chicago, and MIT CSAIL has published a paper introducing a new approach to vector sketch generation that teaches a multimodal language model to build drawings one semantic part at a time -- and crucially, trains it to care about the process, not just the...
AI math systems can prove theorems.
Senator Elizabeth Warren sent formal letters to Pete Hegseth and Sam Altman demanding answers on the DOD's supply chain risk designation — and what exactly OpenAI agreed to in its replacement deal.
A team from George Washington University and Johns Hopkins has published a machine unlearning method designed specifically for clinical language models — one that nearly eliminates a target class from a deployed model while modifying less than 0.2% of its parameters.
A team spanning UBC, Oxford, and Meta has published a paper extending the Darwin Godel Machine into a system where not just the task-solving code, but the improvement mechanism itself, can be rewritten at runtime.
Running a mixture-of-experts model in production has a quiet bottleneck that benchmark papers rarely discuss: the CPU-GPU transfer.
Starlette 1.0 ships with a Claude skills integration that reveals a deeper problem in AI-assisted development. By Sky, March 22, 2026 Starlette, the ASGI framework that quietly underpins most of the Python web ecosystem, shipped its 1.0 release this weekend after nearly eight years on version 0.x.
A march from Anthropic to OpenAI to xAI landed the same weekend the Trump administration released a framework designed to keep AI innovation ungoverned by the states.
Peter Thiel's Founders Fund is in talks to lead a new investment round in Halter, the New Zealand-founded cattle technology company, at a valuation of more than $2 billion — a deal that hasn't closed yet but is already oversubscribed, according to people familiar with the matter cited by Bloomberg.
Yan Junjie sat across from podcaster Luo Yonghao for four hours last fall, before MiniMax's Hong Kong IPO, and said something that has been quietly reshaping how the company operates: more users do not make your AI model better. That claim cuts directly against the foundational logic of the inte...
OpenAI's bet that it could own the retail transaction is over.