AIFuture
Back to news
AI ResearchThe Decoder·

Anthropic's Claude now writes code and proves it safe automatically

Anthropic's Claude now writes code and proves it safe automatically

Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testing had missed. Anthropic's goal: making formal verification with AI as routine as standard testing. The article Anthropic's Claude now writes code and proves it safe automatically…

This is a summary curated by AIFuture. Read the complete article at the original source:

Read the full story on The Decoder

More AI News

ProductMarkTechPost

Liquid AI Releases LiquidCodec, a 74M-Parameter Streaming Audio Codec

Liquid AI released LiquidCodec, a ~74M-parameter streaming audio codec that powers LFM3-Audio-2B and LFM3-Omni-2B. It runs at 12.5 Hz with 12 codebooks and encodes about 361x faster than real time on a single CPU thread. The post Liquid AI Releases LiquidCodec, a 74M-Parameter Streaming Audio Codec appeared first on MarkTechPost.

Nov 12, 2026

RegulationTechCrunch

Democrats launch Nvidia investigation, write scathing letter on Huang’s ‘scheme’ with Trump

This Congressional investigation into Nvidia's China sales and its dealings with Trump is the second one, so far, since news of the alleged spy affair broke.

Nov 12, 2026

StartupsArs Technica

FAA expands AI advice to manage air traffic congestion across entire US airspace

Airlines praised the AI tool, but the air traffic controllers’ union wasn’t involved.

Nov 12, 2026

Build the skills behind the headlines

Generative AICoursera

Generative AI for Everyone

Andrew Ng explains how generative AI works and how to apply it in your work and life — no coding required.

Beginner·Subscription
View Course
Data ScienceedX

CS50's Introduction to AI with Python

Harvard's deep dive into the algorithms behind modern AI — search, knowledge, optimization, and machine learning.

Intermediate·Free / Verified
View Course
Data ScienceCoursera

Deep Learning Specialization

Five-course series on neural networks, CNNs, sequence models, and transformers from DeepLearning.AI.

Intermediate·Subscription
View Course

Never miss what matters in AI

Get the most important AI news and course picks in your inbox.