OpenAI has released 722 math papers "covering 372 result families" of previously unsolved problems in mathematics. Crucially not all of these have computer-verifiable proofs in Lean.
github.com/openai/math/...
#solidstatelife #ai #genai #codingai #mathematics #proofs #lean
github.com
math/CONTENTS.md at main · openai/math
Contribute to openai/math development by creating an account on GitHub.