{"id":"e8169578-efe7-4963-8ed1-ffa9d25eb237","url":"https://api.tumn.com/news/e8169578-efe7-4963-8ed1-ffa9d25eb237","title":"Sharing AI progress in mathematics","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.","sections":[],"faq":[],"sources":[{"url":"https://openai.com/index/sharing-ai-progress-in-mathematics","title":"OpenAI 공식 소식","publishedAt":"2026-10-06T12:00:00.000Z"}],"author":"TUMN 큐레이션","aiAssisted":false,"reviewStatus":"automated","reviewNote":"원문 제목과 공개된 발췌를 인용하고 원문으로 연결합니다. 내용을 재작성하거나 요약하지 않았습니다.","publishedAt":"2026-10-06T12:00:00.000Z","modifiedAt":"2026-10-07T05:24:32.000Z","checkedAt":"2026-10-07T05:24:32.477Z","language":"ko","kind":"link","sourceLabel":"AI 공식","profile":null,"via":null,"formats":{"json":"https://api.tumn.com/news/e8169578-efe7-4963-8ed1-ffa9d25eb237.json","markdown":"https://api.tumn.com/news/e8169578-efe7-4963-8ed1-ffa9d25eb237.md"}}