Live page ยท Day archive

Sharing AI progress in mathematics

Read the original at Hacker News

Summary

OpenAI publishes new results on open mathematical problems from an internal frontier model and shares Lean proof formalizations on GitHub.

Carried by: Hacker News, OpenAI. First seen: .