OpenAI publishes 722 AI math manuscripts on GitHub, and mathematicians ask for receipts
OpenAI released 722 manuscripts in 372 result families from an unreleased internal model, with claims from the quasi Riemann hypothesis to faster integer multiplication. Lean proofs cover many but not all, prompts stay private, and mathematicians want receipts.