Hacker NewsHN submitter: danielmorozoff
Original published:

OpenAI mistranslated mathematics into code for its Navier-Stokes proof

OpenAIがナビエ・ストークス問題の解決を発表したが、人間向けとコンピュータ向けの2つの証明が一致していない問題が判明した

Key points

  • •OpenAIはナビエ・ストークス問題に対する意外な解決策を発表した
  • •発表にあたり、人間向けとコンピュータ向けの2つの証明が作成された
  • •作成された2つの証明の内容が一致していないことが指摘されている
See more