https://b.hatena.ne.jp/entry/s/github.com/openai/math This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model. As part of model development, we evaluate our models on open research problems... https://b.hatena.ne.jp/phain/20261008#bookmark-4794073123980503042 2026-10-07T20:24:32Z https://b.hatena.ne.jp/omega314/20261008#bookmark-4794073123980503042 2026-10-07T17:37:51Z https://b.hatena.ne.jp/yudai214/20261007#bookmark-4794073123980503042 2026-10-07T13:15:45Z https://b.hatena.ne.jp/sentoh/20261007#bookmark-4794073123980503042 2026-10-07T12:55:05Z https://b.hatena.ne.jp/misshiki/20261007#bookmark-4794073123980503042 OpenAIの未公開モデルが生成した数学研究原稿722本（372系列）と証明資料を公開。約4000問を評価し、成果1件あたり平均3時間の思考計算を使用。Lean形式化や推論要約も公開。ただし未形式化の成果には問題がある場合も。 2026-10-07T12:36:25Z OpenAI 数学 https://b.hatena.ne.jp/synonymous/20261007#bookmark-4794073123980503042 2026-10-07T11:46:44Z https://b.hatena.ne.jp/R2M/20261007#bookmark-4794073123980503042 2026-10-07T09:47:41Z 数学 LLM https://b.hatena.ne.jp/BlueSkyDetector/20261007#bookmark-4794073123980503042 2026-10-07T07:09:17Z https://b.hatena.ne.jp/zu2/20261007#bookmark-4794073123980503042 2026-10-07T06:33:02Z https://b.hatena.ne.jp/yojik/20261007#bookmark-4794073123980503042 2026-10-07T06:27:46Z https://b.hatena.ne.jp/masterq/20261007#bookmark-4794073123980503042 2026-10-07T06:25:39Z ai llm math proof あとで読む lean https://b.hatena.ne.jp/shino_azm/20261007#bookmark-4794073123980503042 2026-10-07T06:02:25Z あとで読む https://b.hatena.ne.jp/toshikish/20261007#bookmark-4794073123980503042 2026-10-07T06:00:48Z https://b.hatena.ne.jp/mathtonica/20261007#bookmark-4794073123980503042 2026-10-07T05:43:32Z あとで読む https://b.hatena.ne.jp/sifue/20261007#bookmark-4794073123980503042 2026-10-07T05:15:02Z https://b.hatena.ne.jp/karatte/20261007#bookmark-4794073123980503042 対称および一般Mahler予想 基本半正定値閾値における通常のNP困難性 標数2におけるKaplanskyの直接有限性予想 希釈スピングラスのMézard–Parisi公式 量子Heisenberg強磁性体における自発磁化 3次元相対論的Vlasov–Maxwell系 2026-10-07T04:53:51Z https://b.hatena.ne.jp/i-jumpmjag0j2205/20261007#bookmark-4794073123980503042 2026-10-07T04:43:05Z https://b.hatena.ne.jp/nguyen-oi/20261007#bookmark-4794073123980503042 またこれかよ、オープンソースの数学試行錯誤とか見てておもろい 2026-10-07T04:41:48Z https://b.hatena.ne.jp/en-en-ra/20261007#bookmark-4794073123980503042 2026-10-07T04:39:53Z あとで読む https://b.hatena.ne.jp/fromAmbertoZen/20261007#bookmark-4794073123980503042 2026-10-07T04:25:15Z https://b.hatena.ne.jp/augsUK/20261007#bookmark-4794073123980503042 物理分野だけでも、その問題を20年来追いかけてきた研究者を何人も思いつくクラスの重要問題集。工学に近いところはともかく、理学寄りの理論系はちょっと衝撃的すぎて言葉にならないな。 2026-10-07T04:06:17Z https://b.hatena.ne.jp/chatwark/20261007#bookmark-4794073123980503042 2026-10-07T02:28:21Z U0XUSL2MR