From Authorial Mathematics to Studio Mathematics:Ecobiontic Forms of Proof after Large Language Models
本論文は、数学的証明の生成のための人間と機械のアサンブラージュ（集合体）としての「スタジオ・エコビオント（studio ecobiont）」という概念を提唱し、その認識論的正当性は、伝統的な著作者の実践に対するいかなる固有の因果的優位性にもではなく、追跡可能なプロヴェナンス（由来）、再構成可能な人間の能力、および効果的な権威を保証する特定のガバナンス条件に依存していると論じるものである。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
数学は長い間、個人の精神による技術（クラフト）であり続けてきました。何世紀もの間、新しい数学的真理を生み出す標準的な方法は、一人、あるいは小さなチームが、言語や記号、そして自身の判断を用いて問題に取り組むことでした。彼らは証明を書き記し、他の数学者たちのコミュニティがそれを読み、論理を検証し、それが正しいかどうかを判断してきました。この「著者的」モデルは、証明を書いた人物こそがそれを真に理解しているという考えに基づいています。しかし、その風景は変わりつつあります。大規模言語モデルとして知られる強力なコンピュータプログラムは、今や数学的な議論を生成し、解法を提案し、さらには自らの仕事を検証するコードさえ書くことができます。これは困難な問いを投げかけます。もし機械が証明を書くのを手助けしたとしたら、実際にその数学を「知っている」のは誰なのでしょうか？ その結果は依然として人間の業績なのでしょうか、それとも人間は単なる名目上の存在になってしまったのでしょうか？
オリバー・ロペス＝コロナによる新しい論文は、この変化しつつある風景を探求しています。著者は、私たちが単独の著者から、「スタジオ」と呼ばれる新しい種類の生産ユニットへと移行していると主張しています。このスタジオでは、人間、コンピュータ、そしてソフトウェアライブラリが、一つのチームとして共に働きます。この論文は、機械が取って代わったり、人間の数学者が時代遅れになったりすると主張しているわけではありません。むしろ、この新しいチームが正当で責任ある数学のやり方であると見なされるためには、どのような条件が満たされなければならないのかを問うています。中心となる知見は、人間と機械のチームが有効であるためには、責任を負う人間がその仕事を真に理解し、間違いがあればそれを停止させ、そしてそれに責任を持つことができる必要があるということです。もし彼らがこれらのことができないのであれば、論文はその結果を、人間の存在が単なる儀式に過ぎない「退廃的な（デジェネレートな）」スタジオであると呼びます。
論文はまず、数学が常に教師、ジャーナル、そして共有された伝統に依存してきた社会的な活動であったことを認めることから始まります。しかし、出版された証明は通常、特定の著者に帰せられてきました。その著者は、その結果を理解するための作業を行ってきたからこそ信頼されるのです。この論文の著者は、高度なAIの到来に伴い、誰が責任を負うのかについて新しい考え方が必要であると示唆しています。彼は「CIMAエコビオント（CIMA ecobiont）」と呼ばれる概念を導入しています。これは、人々と言語、ツールが密接に結びつき、数学的なアイデアを創造、検証、共有するために共に働くグループを指す、凝った用語です。「CIMA」は、そのグループが行う4つの事柄、すなわち、計算（computing）、推論（inferring）、モデリング（modeling）、および行動（acting：結果の出版）の頭文字をとったものです。論文はこのグループを、個別のパーツの集合体としてではなく、人間と機械が深く結びついた一つの生命系として扱っています。
しかし、人間がグループの一員であるからといって、そのグループが安全である、あるいは信頼できるとは限りません。論文は、「統治された（ガバンド）」スタジオと「退廃的な（デジェネレートな）」スタジオとの間に明確な線を引いています。統治されたスタジオでは、人間の参加者は実質的な権限を持っています。彼らはコンピュータが踏んだステップを見返し、なぜそれが機能するのかを説明できます。もし間違いを見つけたら、その結果の出版を止めることができます。また、そのアイデアを別の問題に適用して、それが依然として成立するかどうかを確認することもできます。一方、退廃的なスタジオでは、人間は論文に署名したり「出版」ボタンを押したりするかもしれませんが、その仕事を説明することも、間違いを止めることもできません。彼らは単にメッセージを伝達しているだけなのです。論文は、この区別が極めて重要であると論じています。もし数学者が結果の背後にある推論を再構築できないのであれば、彼らは真の著者ではなく、その結果は人間の業績として扱うべきではないのです。
これらのアイデアを検証するために、著者は今日どのように数学が行われているかを示す4つの現実世界の例を見ています。一つはPolymathというプロジェクトで、多くの数学者がオンラインで協力し合いました。論文はこれを、生成AIを用いて核となるアイデアを生み出していないため、スタジオではなく伝統的なコラボレーションに分類しています。もう一つの例は、Liquid Tensor Experimentであり、ここでは人間が非常に複雑な証明をチェックするためにコンピュータプログラムを使用しました。これはスタジオへの「惜しい一歩（ニアミス）」でした。人間と機械のつながりはありましたが、新しいスタジオモデルを定義する生成AIの要素が欠けていました。次に、人間がチェックを行う中でAIが数学的なアイデアを生成した、より新しい実験があります。これらのケースにおいて、論文は人間の役割が不明確であったと指摘しています。あるモデルによって生成された反例に関する特定の事例では、コンピュータが数学的な検証を行ったものの、人間がそのアイデアを真に理解していたのか、それとも単にコンピュータの言葉を受け入れただけなのかを判断するのが困難であったと述べています。これらの事例は、コンピュータの助けを得ることが自動的に有効な「スタジオ」となるわけではないことを示しています。人間はコントロール下に留まっていなければなりません。
論文はまた、この新しい働き方が数学の美しさや創造性を破壊してしまうのではないかという懸念にも触れています。数学者はしばしば、証明が正しいことだけでなく、それが優雅であることや、深い真理を明らかにしていることに価値を置きます。著者は、人間がその仕事を判断する自由を持っている限り、スタジオは依然としてこの美しさを保持できると論じています。もしチームが単にコンピュータにできるだけ速く証明を終わらせようとしているだけなら、何が数学を「良いもの」にするのかという感覚を失ってしまうかもしれません。目標は、コンピュータに退屈で反復的なチェック作業を任せ、人間が大きな構図、説明、そして創造的な選択に集中できるようにすることです。しかし、これは人間が実際に思考を行っている場合にのみ成立します。
最後に、論文は数学コミュニティへの進むべき道を示しています。それは、これらのツールを禁止すべきでもなければ、それらが生成するものすべてを盲目的に受け入れるべきでもない、という提案です。代わりに、私たちは新しいルールを必要としています。証明が出版される際には、誰が何をしたのかという明確な記録があるべきです。どの部分が人間によって書かれ、どの部分がコンピュータによって提案されたのか、そして誰が「これは間違っている」と言い、それを止める権限を持っているのかを知る必要があります。論文は、チームがリリースする前にその仕事を理解していることを証明しなければならないという、一種の「監査（オーディット）」を提案しています。これにより、強力な機械が存在する世界においても、人間の精神が理解と責任の源であり続けることが保証されます。論文は、数学の未来は人間をロボットに置き換えることではなく、人間が主導権を握り続け、私たちが生み出す数学が単に正しいだけでなく、真に理解されたものであることを保証する、新しい種類のパートナーシップを築くことにあると結論づけています。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。