LeCun: Provably safe AI impossible, like safe turbojet
Meta's chief AI scientist argues that provably safe AI is as impossible as a provably safe turbojet, but we build turbojets anyway. He suggests replacing proof with a system that cannot be jailbroken by construction.
People · Yann LeCun
1 source
More stories today
Building Foundry: Weaviate turns archives into creative search
Foundry scans an existing archive read-only, records file facts, and syncs with Weaviate for keyword, semantic, or hybrid search. Test archive has 23 assets from five fictional projects with inconsistent names.
Weaviate Blog·2 hours ago
Scott Alexander explains mechanistic interpretability techniques
Scott Alexander's explainer covers the science of 'reading an AI's mind', noting modern AIs have millions of neurons and trillions of parameters. It highlights the 2023 breakthrough of many-to-many feature mappings, where combinations of neurons represent concepts.
Astral Codex Ten·2 hours ago
NVIDIA introduces CUDA Rust for native GPU kernels
NVIDIA announced CUDA Rust in September 2026, enabling GPU kernels written in Rust to compile natively to PTX. Two tracks are offered: SIMT and Tile, with Tile recommended first. NVIDIA plans to grow CUDA Rust into 2027 and beyond.
NVIDIA Developer Blog·2 hours ago
Policy by email
Get an email when there's news on Policy
No news that day, no email.
GPT-6 Astra rewrites Super Nintendo games in real time
Vaibhav Sisinty·2 hours ago
DeepSeek Flash 4.1 rolling out via API with new architecture
DeepSeek Flash 4.1 is in internal beta testing via API, featuring a new architecture with native multimodal support, stronger capabilities, faster speeds, and lower costs. Official release post expected soon.
Kimmonismus·3 hours agoOECD: Students Using AI Score Worse on Tests
The OECD's flagship educational report finds students who don't use AI chatbots outperform those who do, offering wide-ranging evidence the tech may hurt learning.
Bloomberg Technology·3 hours ago
AI health startup Forus raises $150M at $3B valuation
Healthcare automation startup Forus raised $150 million in a Series C round led by Bain Capital Ventures, valuing the company at $3 billion. The round comes just months after its previous funding.
Farmers embrace AI more than any other tech, McKinsey says
AI use is surging on farms as growers seek high-tech help in planning and managing operations after years of scaling back spending, according to McKinsey & Co.
