2 stories in this blend

OpenAI shared a collection of 722 research papers produced by a new frontier AI model after analyzing thousands of open math problems. Many proofs include automated checks using the Lean proof assistant, though independent experts must still inspect unverified results.

A technical report revealed that OpenAI uses recurrent depth processing in Astra, which passes text through model layers multiple times to improve performance and lower compute costs. Because part of this reasoning process occurs inside hidden model layers without generating text, safety researchers worry it limits visibility into how decisions are made.