Kapern einzelne Technologie-Konzerne mittels künstlicher Intelligenz die Mathematik?

一部のテクノロジー企業はAIで数学を乗っ取ろうとしているのか

要約

AIを用いて87年来の未解決だったヤコビ予想が反証され、ナビエ・ストークス方程式のミレニアム問題も証明されたとされる。OpenAIは一夜にして372の難問を解いたと主張しているが、その真偽と数学研究への意味が問われている。

数学者が担ってきた証明の権威づけの役割をAIが代替し始めれば、誰が真理の裁定者となるのかが問われることになる。

記事に書かれた事実ではなく、読む人が考えるための問いかけです。

タイトル、要約、分類、波及は、原文のフィード情報をもとにAIが作成しました。全訳は掲載していません。正確な内容は原文でご確認ください。