OpenAI mistranslated mathematics into code for its Navier-Stokes proof
AI summary
Editorial policyOpenAIがナビエ・ストークス問題の解決を発表したが、人間向けとコンピュータ向けの2つの証明が一致していない問題が判明した
Key points
- •OpenAIはナビエ・ストークス問題に対する意外な解決策を発表した
- •発表にあたり、人間向けとコンピュータ向けの2つの証明が作成された
- •作成された2つの証明の内容が一致していないことが指摘されている