Lean

OpenAIのAIが「ナビエ–ストークス問題」の解法を提案。人類未解決の数学にAIが挑む

AIが、ついに人類が長年解けなかった数学の最難関クラスの問題に踏み込み始めました。 Open…

続きを読む→