OpenAI publica 722 manuscritos matemáticos gerados por modelo frontier interno em repositório Apache-2.0 — muitos com verificação em Lean

Dropa 722 manuscritos em 372 famílias de problemas de matemática pura, teoria da computação e física matemática no repositório openai/math, muitos formalizados em Lean para checagem automática.