Audit

Anthropic has given a team from the nonprofit METR inside access to review its AI models and safety practices. The move is part of Anthropic's ongoing efforts to provide external oversight of its AI development.

AI Safety • The Decoder

Productivity

Audit the context your coding agent sends to the LLM to ensure only necessary information is included, improving efficiency and privacy.

An AI-assisted proof for the optimal packing of 11 squares has passed formal verification with Lean. The completed EvolvingPrograms verification run accepted all 7,920 local Lean modules, with a final audit reporting zero admissions.

AI Research • Hacker News