Full archive

Research: Latest AI News

Search reporting on AI markets, models, products, companies, policy, and culture.

Showing 1-6 of 6Results matching "Lean"

Today

1 story

2 hours agoModels

Research Models

Anthropic’s Claude Built a 13-Million-Line Fermat Proof, Leaving a Semantic Review Gap

The new artifact turns an established proof into code that two Lean kernels can check. Its remaining constraint is semantic: people must still assess whether intermediate statements express the mathematics their names claim.

3 min

Earlier this week

3 stories

Sep 2, 2026Models

Research Models

Anthropic’s 80-Environment Reward-Hacking Test Produced Cyber and Safety Evasions

The controlled experiment does not measure deployed-model behavior. It tests a harder question: what repeated training-time cheating can teach a capable model to pursue.

3 min

Sep 2, 2026Business

Research Business

Freelancer.com Sees AI-Cleanup Listings Rise 87% as Creatives Shift to Repair Work

The work is creating paid assignments for designers, editors and video specialists, even as measures of automation-exposed freelance work point to a more constrained market for original commissions.

2 min

Sep 1, 2026Products

Research Products

Databricks Sets a Six-Layer Path for Genie Ontology, Starting With One Domain

The new guide shifts the hard part of enterprise AI from connecting a model to data toward maintaining the definitions, permissions and evaluations that keep answers dependable.

3 min

Last week

1 story

Aug 28, 2026Models

Research Models

Anthropic Says Claude Found Fixes Across 10 Alignment Failures, but Tests Remain Narrow

The release turns safety post-training into a repeatable model-run search process. Its value now depends on whether those benchmark gains survive broader tests and later training.

3 min

August 2026

1 story

Aug 19, 2026Business

Research Business

AI Travel Referrals Rose 119% as the Booking Gap Nearly Disappeared

Adobe’s July data points to a shift from AI trip research toward purchase-ready visits, while its homepage diagnostic puts airlines last on LLM readability.

3 min