AI・機械学習
OpenAIが3つの数学的結果を取り下げ
OpenAI withdraws three mathematical results (twitter.com)
要約
OpenAIは、GitHub上の数学リポジトリを更新し、新たに6つのLeanによる形式化、19の修正、そして3つの結果の取り下げを発表しました。これにより、リポジトリ内のトップライン結果の約42%が形式化されたことになります。同社は今後も新しい形式化や発見された誤りをリポジトリに追加していく予定です。取り下げられた3つの論文は、代数幾何学やK3曲面に関する高度な数学的テーマを扱っています。
全文翻訳
Dan Roberts@danintheory
GitHubの数学リポジトリを6つの新しいLean形式化、19の修正、および3つの取り下げで更新しました。リポジトリには現在、トップライン結果の約42%が形式化されています。新しい形式化と、気づいた誤りがあればリポジトリを更新し続けます。
math/history.md at main · openai/math
From github.com
5:20 AM · Oct 8, 2026 · 46.8K Views
264158983
Dan Roberts@danintheory
GitHubの数学リポジトリを6つの新しいLean形式化、19の修正、および3つの取り下げで更新しました。リポジトリには現在、トップライン結果の約42%が形式化されています。新しい形式化と、気づいた誤りがあればリポジトリを更新し続けます。
math/history.md at main · openai/math
From github.com
5:20 AM · Oct 8, 2026 · 46.8K Views
264158983
Smoke-away@SmokeAwayyy
2時間前
クリックの手間を省くために：
> その結果、以下の3つの論文を取り下げました：
> - 分岐アーベル8多様体上のワイルクラスの代数性
> - K3曲面のクガ・サタケ対応の代数性
> - K3曲面の積に対する有理ホッジ予想
26735.8K
Thusatharan@Thusatharan
2時間前
取り下げが公に記録されるのは珍しい。もっと多くの研究室がそうすべきだ
1362.7K
Oyx@Test200617222
2時間前
素晴らしいですが、これは数学の形式化なのに、なぜメスの結晶化のように感じるのですか？
172.2K