Sharing AI progress in mathematics
Executive Summary
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
You May Also Like
Next Logical Step
Sullivan & Cromwell brings legal expertise into agreement review
In collaboration with OpenAI, Sullivan & Cromwell developed Agreement Analyzer, an AI tool for identifying issues in a d...