Research

Yann LeCun's AMI Labs closed a billion-dollar round to develop world models trained on real-world data, with partnerships spanning health and autonomous systems.

METR's analysis finds roughly half of AI-generated pull requests that pass SWE-bench have code quality issues that would prevent real-world adoption. A necessary reality check on benchmark hype.

The chief architect of Lean argues that formal mathematical verification becomes essential infrastructure as AI generates more of the world's code. When proof is cheap, it becomes the stronger path to correctness.