Hacker NewsHN投稿者: danielmorozoff
元記事公開:
OpenAI、ナビエ・ストークス方程式の証明において数学をコードへ誤翻訳
原題: OpenAI mistranslated mathematics into code for its Navier-Stokes proof
AI要約
OpenAIがナビエ・ストークス問題の解決を発表したが、人間向けとコンピュータ向けの2つの証明が一致していない問題が判明した
重要ポイント
- •OpenAIはナビエ・ストークス問題に対する意外な解決策を発表した
- •発表にあたり、人間向けとコンピュータ向けの2つの証明が作成された
- •作成された2つの証明の内容が一致していないことが指摘されている