# 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.



## 질문과 답변



## 출처
- OpenAI 공식 소식: https://openai.com/index/sharing-ai-progress-in-mathematics (발표 2026-10-06T12:00:00.000Z)

작성: TUMN 큐레이션 · AI 보조: false
발행: 2026-10-06T12:00:00.000Z
확인: 2026-10-07T05:24:32.477Z
검토: 원문 제목과 공개된 발췌를 인용하고 원문으로 연결합니다. 내용을 재작성하거나 요약하지 않았습니다.
정식 URL: https://api.tumn.com/news/e8169578-efe7-4963-8ed1-ffa9d25eb237