OpenAI Publishes 719 Math Manuscripts From an Unreleased Model
OpenAI's new public GitHub repo holds 719 math manuscripts and proof artifacts from an internal model it hasn't released. About 42% of top-line results are formalized in Lean.
#Lean
1 story