OpenAI’s consequential math and science claims await independent review

OpenAI’s 722 manuscripts span 372 result families, with Lean proofs for many but not all and no public model identifier. New coverage highlights claims involving ETH, harmonic analysis, complexity theory, and quantum field theory; external shepherding for physics and computer science is a process update, not validation of the claims.