OpenAI releases findings on 377 math problems

The New York Times reports OpenAI released findings on 377 math problems and described the release as more responsive to concerns about AI disrupting research after a previous solution angered mathematicians. Separately, a user says OpenAI posted 719 math manuscripts in 372 families from an unreleased internal model; the user says the repository lists Lean proofs for about 42% of top-line results and cautions that unformalized ones could have issues.