Hacker NewsHN投稿者: sashank_1509
元記事公開:
OpenAI、3つの数学的結果を取り下げ
原題: OpenAI withdraws three mathematical results
AI要約
OpenAIがGitHubの数学リポジトリを更新し、6つの新しいLean形式化、19件の修正、3件の取り下げを実施した
重要ポイント
- •リポジトリには6つの新しいLean形式化と19件の修正が追加された
- •3つの数学的結果が取り下げられた
- •トップラインの結果の約42%が形式化済みとなった