OpenAI reportedly made public 722 mathematical manuscripts, with varying degrees of verification AI
Dongcha Beating AI news brief reports that OpenAI made public 722 mathematical manuscripts produced by an internal frontier model, covering 372 groups of related results. The report says that some results include Lean formalized proofs, but neither OpenAI nor the independent advisory group has treated all the results as endorsed conclusions.