DeepMind、未解決の数学問題を数十件解決
原題 Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
GoogleのDeepMindが開発したAlphaProof Nexusが、未解決の数学問題を数十件解いた。うち9件はエルデシュ問題で、2件は56年間未解決だった。成果はScience誌に掲載され査読を通過している。OpenAIがAI生成の証明を大量に投げ込んだとして反発を受けている時期と重なる。
論点
AIの数学証明は人間の功績と同等に扱うべきか
- コメントを読み込み中…
議論のヒントを見る
賛成側の視点
証明が正しく査読も通ったなら、誰が解いたかは関係ない。56年の未解決を崩した事実が全てだ。反対側の視点
理解なき証明は数学ではない。AIの成果を人間の功績と並べるのは、研究の価値を薄める行為だ。
みんなのコメント 件
コメントを書く