GitHub - 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. We expanded these evaluations after performance on our existing mathematical evaluations saturated. Some outputs build upon earlier results produced by the models. This collection includes results at d

[karatte]

対称および一般Mahler予想 基本半正定値閾値における通常のNP困難性 標数2におけるKaplanskyの直接有限性予想 希釈スピングラスのMézard–Parisi公式 量子Heisenberg強磁性体における自発磁化 3次元相対論的Vlasov–Maxwell系

[misshiki]

OpenAIの未公開モデルが生成した数学研究原稿722本（372系列）と証明資料を公開。約4000問を評価し、成果1件あたり平均3時間の思考計算を使用。Lean形式化や推論要約も公開。ただし未形式化の成果には問題がある場合も。

[nguyen-oi]

またこれかよ、オープンソースの数学試行錯誤とか見てておもろい

[augsUK]

物理分野だけでも、その問題を20年来追いかけてきた研究者を何人も思いつくクラスの重要問題集。工学に近いところはともかく、理学寄りの理論系はちょっと衝撃的すぎて言葉にならないな。