OpenAI posts 722 math manuscripts from an unreleased internal model
OpenAI's GitHub repo holds 722 manuscripts in 372 families. It says each result averaged three hours of ChatGPT Pro thinking, and that not all results have Lean proofs yet.
Why it matters: Wired reports some mathematicians feel their advice on how to release results was ignored. How labs publish AI-made proofs is now a live dispute.