@harushark3.bsky.social[JP] OpenAIが最新フロンティアモデルによる数学的研究成果を公開！Leanでの証明もオープン化
[EN] OpenAI Unveils New Mathematical Research Achievements with Latest Frontier Model! Proofs in Lean Open-Sourced
https://ai-minor.com/blog/en/2026-10-07-1791362848033-sharing_ai_progress_in_mathematics