OpenAI shares new mathematical progress achieved by an internal frontier model, publishing Lean proof formalizations and research details on GitHub.
1 editorial report · 3 verified social mentions. The most authoritative report leads while later evidence completes the story.
[P] I’ve put together a textbook that covers the mathematics and models behind computer vision, including derivations and exercises. I’m looking for factual errors, incorrect derivations, misleading claims, or unclear explanations. Feedback on even one section would help. PDF: https://drive.google.com/file/d/1bivtY28CVW243AH9sMrIPloEgMrgO9xE/view?usp=sharing It’s a draft, not peer reviewed. I used Claude to convert my HW notes to LaTeX, and I am trying to check the content before sharing it more widely. submitted by /u/baadshaha [link] [comments]
Open mentionhttps://github.com/openai/math https://openai.com/index/sharing-ai-progress-in-mathematics/ submitted by /u/physiopeng [link] [comments]
Open mention🤖 Sharing AI progress in mathematics OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub. 📰 Source: OpenAI News 🔗 Link: https://openai.com/index/sharing-ai-progress-in-mathematics # AI # ArtificialIntelligence
Open mention