OpenAI publishes new results on open problems in mathematics; shares Lean proof formalizations and research details on GitHub
Read the original at openai.com→OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Original headline: "Sharing AI progress in mathematics"
Coverage timeline
- Oct 6, 12:00 UTC OpenAI lead source Sharing AI progress in mathematics
- Oct 6, 22:17 UTC Hacker News (AI) Sharing AI progress in mathematics